Größe des Fonts für verbatim-Umgebungen bestimmen (nur HTML).
| Typ & Position: | Kommando, Vorspann |
| Syntax: | !html_monofont_size <wert> |
| Beschreibung: | Mit diesem Befehl kann die Größe des Fonts bestimmt werden, der für die Anzeige von Text in verbatim-Umgebungen benutzt wird. |
| Existiert seit: | Release 6 Patchlevel 7 |
| Siehe auch: | !html_monofont_name, !verbatimsize |
Beispiel:
!html_monofont_size +1