diff options
Diffstat (limited to 'tex/context/base/mkiv/export-example.css')
-rw-r--r-- | tex/context/base/mkiv/export-example.css | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/export-example.css b/tex/context/base/mkiv/export-example.css index 096408ee1..7cfd7f291 100644 --- a/tex/context/base/mkiv/export-example.css +++ b/tex/context/base/mkiv/export-example.css @@ -479,8 +479,9 @@ context|div.verbatim { font-family : "DejaVu Sans Mono", "Lucida Console", monospace ; } -/* lines : display */ -/* line : mixed */ +/* lines : display */ +/* line : mixed */ +/* linenumber : inline */ lines, context|div.lines { @@ -501,6 +502,15 @@ context|div.line { white-space : pre-wrap ; } +linenumber, +context|div.linenumber { + display : inline-block ; + margin-right : 1em ; + width : 3em ; + text-align : left ; + font-family : "DejaVu Sans Mono", "Lucida Console", monospace ; +} + /* synonym : inline */ /* sorting : inline */ |