0184132人目の素数さん垢版 | 大砲2018/12/09(日) 07:50:26.29ID:GNoL1vgk 文字の大きさについて。 ちょっとしたメモを纏めるときに \documentclass[10pt] で \begin{footnotesize}〜\end{footnotesize} の中に書いていたけど、 10pt を小さくとれば、わざわざ囲まんでいいじゃんと気づいた。 で、どのくらいに取ればいいか数値を知りたいんだけど、設定変えながら見た目で決めるしかないかな?