[tei-council] main font changed for gidlines -- found the problem chars...

[Sebastian Rahtz]

On 15 Jun 2012, at 01:25, Martin Holmes wrote:

> Latest build seems to be entirely free of missing character issues after 
> my tweak to layoutDesc.xml:
> 
> grep -i missing Guidelines_teiJenkins_2.log | sort -u
> 
> * nothing *
excellent!

> So: do we like Libertine as a replacement for Times New Roman?

seems OK to me.  In the interests of simplicity and open-sourceness,
lets stay there.

--
Sebastian Rahtz      
Head of Information and Support Group
Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431