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
|