diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-03-09 20:15:05 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-03-09 20:15:05 +0100 |
| commit | dc98ffdc842271d05903846b460fab90d4d83739 (patch) | |
| tree | 49603cd805408ebdde3a7eafc59c40279dc7e9ad /tex/context/base/x-html.mkiv | |
| parent | 08128a9710f7a34e16f7487b3bccfe7feadb36f1 (diff) | |
| download | context-dc98ffdc842271d05903846b460fab90d4d83739.tar.gz | |
2015-03-09 19:29:00
Diffstat (limited to 'tex/context/base/x-html.mkiv')
| -rw-r--r-- | tex/context/base/x-html.mkiv | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/tex/context/base/x-html.mkiv b/tex/context/base/x-html.mkiv index bcb36a7d6..e1806eb9e 100644 --- a/tex/context/base/x-html.mkiv +++ b/tex/context/base/x-html.mkiv @@ -38,6 +38,8 @@ \definehighlight[tt] [\c!command=\v!no,\c!style=\v!mono] \definehighlight[strong][\c!command=\v!no,\c!style=\v!bold] \definehighlight[u] [\c!command=\v!no,\c!style=\directsetbar{\v!underbar}] +\definehighlight[code] [\c!command=\v!no,\c!style=\v!mono] +\definehighlight[pre] [\c!command=\v!no] \protect @@ -114,6 +116,14 @@ \stopitem \stopxmlsetups +\startxmlsetups xml:html:code + \directhighlight{code}{\xmlflushspacewise{#1}} +\stopxmlsetups + +\startxmlsetups xml:html:pre + \directhighlight{pre}{\xmlflushspacewise{#1}} +\stopxmlsetups + \startxmlsetups xml:html:span \xmlflush{#1} \stopxmlsetups @@ -134,7 +144,7 @@ % todo: align % beware, the padding code is somewhat experimental, eventually the -% table will be done in cdl code +% table will be done in cld code % % we can also use \xmlmap for border etc |