html.fontsize

フォントサイズの設定オプションをチェックし、フォントサイズを設定します。

See Also

HTML保存の設定ダイアログ