diff options
author | John MacFarlane <jgm@berkeley.edu> | 2010-07-16 00:23:13 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2010-07-16 00:23:13 -0700 |
commit | 85f8c51b640a127f77067903cdbddec05bd3a77b (patch) | |
tree | 75b3317bfb8a2d4eef0a2201683fb8ff1dd5a18f /templates | |
parent | 3adacdb04e515618d46e677fa7510e240b1b506f (diff) | |
download | pandoc-85f8c51b640a127f77067903cdbddec05bd3a77b.tar.gz |
Use default highlighting CSS rather than embedding CSS in templates.
Diffstat (limited to 'templates')
-rw-r--r-- | templates/html.template | 21 | ||||
-rw-r--r-- | templates/slidy.template | 21 |
2 files changed, 4 insertions, 38 deletions
diff --git a/templates/html.template b/templates/html.template index da4a1b23e..bd1864ff0 100644 --- a/templates/html.template +++ b/templates/html.template @@ -10,26 +10,9 @@ $endfor$ $if(date)$ <meta name="date" content="$date$" /> $endif$ -$if(highlighting)$ +$if(highlighting-css)$ <style type="text/css"> -table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre - { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; } -td.lineNumbers { text-align: right; background-color: #EBEBEB; color: black; padding-right: 5px; padding-left: 5px; } -td.sourceCode { padding-left: 5px; } -pre.sourceCode { } -pre.sourceCode span.kw { font-weight: bold; } -pre.sourceCode span.dt { color: #800000; } -pre.sourceCode span.dv { color: #0000FF; } -pre.sourceCode span.bn { color: #0000FF; } -pre.sourceCode span.fl { color: #800080; } -pre.sourceCode span.ch { color: #FF00FF; } -pre.sourceCode span.st { color: #DD0000; } -pre.sourceCode span.co { color: #808080; font-style: italic; } -pre.sourceCode span.ot { } -pre.sourceCode span.al { color: green; font-weight: bold; } -pre.sourceCode span.fu { color: #000080; } -pre.sourceCode span.re { } -pre.sourceCode span.er { color: red; font-weight: bold; } +$highlighting-css$ </style> $endif$ $for(css)$ diff --git a/templates/slidy.template b/templates/slidy.template index a7b2327bb..d43d7b96d 100644 --- a/templates/slidy.template +++ b/templates/slidy.template @@ -12,26 +12,9 @@ $endfor$ $if(date)$ <meta name="date" content="$date$" /> $endif$ -$if(highlighting)$ +$if(highlighting-css)$ <style type="text/css"> -table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre - { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; } -td.lineNumbers { text-align: right; background-color: #EBEBEB; color: black; padding-right: 5px; padding-left: 5px; } -td.sourceCode { padding-left: 5px; } -pre.sourceCode { } -pre.sourceCode span.kw { font-weight: bold; } -pre.sourceCode span.dt { color: #800000; } -pre.sourceCode span.dv { color: #0000FF; } -pre.sourceCode span.bn { color: #0000FF; } -pre.sourceCode span.fl { color: #800080; } -pre.sourceCode span.ch { color: #FF00FF; } -pre.sourceCode span.st { color: #DD0000; } -pre.sourceCode span.co { color: #808080; font-style: italic; } -pre.sourceCode span.ot { } -pre.sourceCode span.al { color: green; font-weight: bold; } -pre.sourceCode span.fu { color: #000080; } -pre.sourceCode span.re { } -pre.sourceCode span.er { color: red; font-weight: bold; } +$highlighting-css$ </style> $endif$ $for(css)$ |