next up previous contents
Next: ふつうのフォントのサイズを変更する Up: パラメータ変数について Previous: ページの大きさを変更する

フォントサイズを変更する



Masayuki Kuwada
Fri Nov 8 15:33:42 JST 1996