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. |
Beispiel: | !html_monofont_size +1 |
Existiert seit: | Release 6 Patchlevel 7 |
Siehe auch: | !html_monofont_name, !verbatimsize |