diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-12 23:42:28 +0100 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-12 23:42:28 +0100 |
commit | d2513e76ec82dee125bec95221cd332302d22333 (patch) | |
tree | 9e490917c7f343afcfe4ff043e4f963fff7f4e3e /provider/css/syntax.css | |
parent | 554ef99207731fb5c3d26e176b04c6c910996bc1 (diff) | |
download | dirty-haskell.org-d2513e76ec82dee125bec95221cd332302d22333.tar dirty-haskell.org-d2513e76ec82dee125bec95221cd332302d22333.tar.gz dirty-haskell.org-d2513e76ec82dee125bec95221cd332302d22333.tar.bz2 dirty-haskell.org-d2513e76ec82dee125bec95221cd332302d22333.tar.xz dirty-haskell.org-d2513e76ec82dee125bec95221cd332302d22333.zip |
design work
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; } |