summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-01-12 23:42:28 +0100
committerGregor Kleen <gkleen@yggdrasil.li>2016-01-12 23:42:28 +0100
commitd2513e76ec82dee125bec95221cd332302d22333 (patch)
tree9e490917c7f343afcfe4ff043e4f963fff7f4e3e
parent554ef99207731fb5c3d26e176b04c6c910996bc1 (diff)
downloaddirty-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
-rw-r--r--provider/css/default.css10
-rw-r--r--provider/css/syntax.css4
2 files changed, 10 insertions, 4 deletions
diff --git a/provider/css/default.css b/provider/css/default.css
index 2d2a777..af4832a 100644
--- a/provider/css/default.css
+++ b/provider/css/default.css
@@ -20,8 +20,14 @@ p + p {
20 margin-top: 0; 20 margin-top: 0;
21} 21}
22 22
23pre { 23div.sourceCode {
24 margin-left: 1.5em; 24 padding-left: 1.5em;
25 border-left:2px solid #f0f0f0;
26 margin-left: -2px;
27}
28
29pre code {
30 white-space:pre-wrap;
25} 31}
26 32
27p code { 33p code {
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. */
2table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre 2table.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; }
4td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; } 4td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 0.5em; padding-left: 0.5em; }
5td.sourceCode { padding-left: 5px; } 5td.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; }