Re: [lojban] Re: CLLv1.1 Help Wanted

[Dan Rosén <lurifax@gmail.com>]

The "OSX" version looks a lot better, up to that the sans-serif font in the examples is replaced with an ugly serif font (suspiciously identical to Times New Roman).

mu'o

On 8 February 2015 at 10:09, Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:

The CSS allows for *many* alternative fonts, just to be helpful :),
but here's the actual primary font list:

prince: Converting document...
prince: used font: Linux Libertine O, Bold
prince: used font: Linux Libertine O, Regular
prince: used font: Linux Libertine O, Italic
prince: used font: Linux Biolinum O, Bold
prince: used font: Linux Biolinum O, Regular
prince: used font: DejaVu Serif, Bold
prince: used font: DejaVu Serif, Book
prince: used font: DejaVu Sans Mono, Book
prince: used font: Linux Libertine O, Bold Italic
prince: used font: Unifont, Medium
prince: used font: Linux Biolinum O, Italic
prince: used font: DejaVu Sans Mono, Oblique

If you have those all installed, you should get exactly the same
results as I get.

On Sat, Feb 07, 2015 at 11:37:14PM -0800, la durka wrote:
> I've been compiling both locally on OSX (ex: alexburka.com/tmp/cll_5.pdf)
> and with my git-auto-updating-gizmo on a Debian server (ex:
> alexburka.com/lojban/cll_5.pdf) and getting wildly different fonts.
> Specifically, with the font I get on Linux I'm having to split a lot of
> examples to prevent them overflowing the page. So which font (or neither)
> is the one you will use when building the real PDF?
>
> - mu'o mi'e la durkavore
>

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.