Dobry den, az dnes jsem si vsiml, ze pdf soubory ziskane pres ps2pdf, tedy cestou dvi->ps->pdf jsou cca 2x vetsi nez ty ziskane primo pdftexem. Mam podezdreni, ze je to tim, ze ps2pdf (tedy ghostscript) tam vlozi font pro kazdou velikost znovu. Neni nekomu znamo o teto vlastnosti neco vice? s pozdravem -- Ondrej Koala Vacha