-
Oliver Sander authored
+ works with dvi and pdf output + Uses the fonts from the text document + font sizes match the sizes in the text automatically [[Imported from SVN: r411]]
f149bd30
+ works with dvi and pdf output + Uses the fonts from the text document + font sizes match the sizes in the text automatically [[Imported from SVN: r411]]