diff options
Diffstat (limited to 'tex/context/base/mtx-context-listing.tex')
| -rw-r--r-- | tex/context/base/mtx-context-listing.tex | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tex/context/base/mtx-context-listing.tex b/tex/context/base/mtx-context-listing.tex index 583aa2b8f..2deffd795 100644 --- a/tex/context/base/mtx-context-listing.tex +++ b/tex/context/base/mtx-context-listing.tex @@ -24,7 +24,8 @@ % --scite : pretty print comform suffix using scite lexer % --bodyfont=list : additional bodyfont settings % --paperformat=spec : paper*print or paperxprint -% --compact : small margins, small font +% --compact : small margins, 8pt font +% --verycompact : small margins, 7pt font % % end help @@ -36,6 +37,12 @@ \setdocumentargument{bodyfont} {8pt} } +\doifdocumentargument {verycompact} { + \setdocumentargument{topspace} {5mm} + \setdocumentargument{backspace}{5mm} + \setdocumentargument{bodyfont} {7pt} +} + \setupbodyfont [dejavu,11pt,tt,\getdocumentargument{bodyfont}] % dejavu is more complete |