diff options
Diffstat (limited to 'templates')
| -rw-r--r-- | templates/html.template | 36 | ||||
| -rw-r--r-- | templates/slidy.template | 36 |
2 files changed, 36 insertions, 36 deletions
diff --git a/templates/html.template b/templates/html.template index c53bbf6d7..da4a1b23e 100644 --- a/templates/html.template +++ b/templates/html.template @@ -12,24 +12,24 @@ $if(date)$ $endif$ $if(highlighting)$ <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 { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; } - td.sourceCode { padding-left: 5px; } - pre.sourceCode { } - pre.sourceCode span.Normal { } - pre.sourceCode span.Keyword { color: #007020; font-weight: bold; } - pre.sourceCode span.DataType { color: #902000; } - pre.sourceCode span.DecVal { color: #40a070; } - pre.sourceCode span.BaseN { color: #40a070; } - pre.sourceCode span.Float { color: #40a070; } - pre.sourceCode span.Char { color: #4070a0; } - pre.sourceCode span.String { color: #4070a0; } - pre.sourceCode span.Comment { color: #60a0b0; font-style: italic; } - pre.sourceCode span.Others { color: #007020; } - pre.sourceCode span.Alert { color: red; font-weight: bold; } - pre.sourceCode span.Function { color: #06287e; } - pre.sourceCode span.RegionMarker { } - pre.sourceCode span.Error { color: red; font-weight: bold; } +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; } </style> $endif$ $for(css)$ diff --git a/templates/slidy.template b/templates/slidy.template index 9278282dc..a7b2327bb 100644 --- a/templates/slidy.template +++ b/templates/slidy.template @@ -14,24 +14,24 @@ $if(date)$ $endif$ $if(highlighting)$ <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 { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; } - td.sourceCode { padding-left: 5px; } - pre.sourceCode { } - pre.sourceCode span.Normal { } - pre.sourceCode span.Keyword { color: #007020; font-weight: bold; } - pre.sourceCode span.DataType { color: #902000; } - pre.sourceCode span.DecVal { color: #40a070; } - pre.sourceCode span.BaseN { color: #40a070; } - pre.sourceCode span.Float { color: #40a070; } - pre.sourceCode span.Char { color: #4070a0; } - pre.sourceCode span.String { color: #4070a0; } - pre.sourceCode span.Comment { color: #60a0b0; font-style: italic; } - pre.sourceCode span.Others { color: #007020; } - pre.sourceCode span.Alert { color: red; font-weight: bold; } - pre.sourceCode span.Function { color: #06287e; } - pre.sourceCode span.RegionMarker { } - pre.sourceCode span.Error { color: red; font-weight: bold; } +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; } </style> $endif$ $for(css)$ |