Set size of default font (HTML only).
| Type & position: | command, preamble |
| Syntax: | !html_propfont_size <value> |
| Description: | Mit diesem Befehl kann die Größe des Standardfonts bestimmt werden, der für die Anzeige von Text in HTML-Dateien benutzt wird. |
| Description: | This command sets the size of the font that is used to display regular text. |
| Example: | !html_propfont_size -1 |
| Exists since: | Release 6 Patchlevel 7 |
| See also: | !html_propfont_name |