diff options
Diffstat (limited to 'provider/css/syntax.css')
| -rw-r--r-- | provider/css/syntax.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/provider/css/syntax.css b/provider/css/syntax.css index 57b31eb..43e5cd9 100644 --- a/provider/css/syntax.css +++ b/provider/css/syntax.css | |||
| @@ -1,8 +1,8 @@ | |||
| 1 | /* Generated by pandoc. */ | 1 | /* Generated by pandoc. */ |
| 2 | table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre | 2 | table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre |
| 3 | { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; } | 3 | { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; } |
| 4 | td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; } | 4 | td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 0.5em; padding-left: 0.5em; } |
| 5 | td.sourceCode { padding-left: 5px; } | 5 | td.sourceCode { padding-left: 0.5em; } |
| 6 | .sourceCode span.kw { color: #007020; font-weight: bold; } | 6 | .sourceCode span.kw { color: #007020; font-weight: bold; } |
| 7 | .sourceCode span.dt { color: #902000; } | 7 | .sourceCode span.dt { color: #902000; } |
| 8 | .sourceCode span.dv { color: #40a070; } | 8 | .sourceCode span.dv { color: #40a070; } |