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.
> --
> 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+un...@googlegroups.com.