>>492
>フォントの大きさがかわらない
フォントサイズは単純に文字を拡大縮小しているのではなくて、
サイズによって異なるフォントデザインを割り当てているので、
未割り当てのサイズを指定しても、無意味。
80ptにしたければ、自分で80ptを設定するか、
anyfontsize.styを使おう。