summaryrefslogtreecommitdiff
path: root/provider/css
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-01-24 09:25:11 +0000
committerGregor Kleen <gkleen@yggdrasil.li>2016-01-24 09:25:11 +0000
commit8152c250c54b6be6533eecf393d38c83b4c66348 (patch)
tree6fcde0ce3914d61e8bc0414b01b686dd77d805c1 /provider/css
parent68b7a70cca25a891df55721bf104fe36c8cb862a (diff)
downloaddirty-haskell.org-8152c250c54b6be6533eecf393d38c83b4c66348.tar
dirty-haskell.org-8152c250c54b6be6533eecf393d38c83b4c66348.tar.gz
dirty-haskell.org-8152c250c54b6be6533eecf393d38c83b4c66348.tar.bz2
dirty-haskell.org-8152c250c54b6be6533eecf393d38c83b4c66348.tar.xz
dirty-haskell.org-8152c250c54b6be6533eecf393d38c83b4c66348.zip
Site redesign
Diffstat (limited to 'provider/css')
-rw-r--r--provider/css/default.css77
1 files changed, 65 insertions, 12 deletions
diff --git a/provider/css/default.css b/provider/css/default.css
index af4832a..a100adc 100644
--- a/provider/css/default.css
+++ b/provider/css/default.css
@@ -1,29 +1,82 @@
1header, footer {
2 padding:1em 0 1em 0;
3}
4
5header {
6 border-bottom:2px solid #f0f0f0;
7}
8
9footer {
10 border-top:2px solid #f0f0f0;
11}
12
13footer ul.tags {
14 list-style:none outside none;
15 margin:0;
16 padding:0;
17 display:inline;
18}
19
20footer ul.tags:before { content:" — "; }
21
22footer ul.tags li {
23 margin:0;
24 padding:0;
25 display:inline;
26}
27
28footer ul.tags li:after { content:", "; }
29
30footer ul.tags li:last-child:after { content: ""; }
31
32header h1, header h2 {
33 margin:0;
34}
35
36header h2.subtitle {
37 font-size:1em;
38 font-weight:normal;
39 font-style:italic;
40}
41
1body { 42body {
2 margin: auto; 43 margin:auto;
3 padding-right: 1em; 44 padding-right:1em;
4 padding-left: 1em; 45 padding-left:1em;
5 font: normal 1.1em monospace; 46 font:normal 1em monospace;
6 max-width: 90em; 47 max-width:90em;
7 text-align: justify; 48 text-align:justify;
8} 49}
9 50
10a { 51a {
11 color: inherit; 52 color:inherit;
12} 53}
13 54
14p { 55p {
15 margin-bottom: 0 56 margin-top:1em;
57 margin-bottom:0;
58}
59
60p:last-of-type {
61 margin-bottom:1em;
16} 62}
17 63
18p + p { 64p + p {
19 text-indent: 1.5em; 65 text-indent:1.5em;
20 margin-top: 0; 66 margin-top:0;
67}
68
69footer p, footer p:last-of-type {
70 margin:0;
71 padding:0;
72 text-indent:0;
73 display:inline;
21} 74}
22 75
23div.sourceCode { 76div.sourceCode {
24 padding-left: 1.5em; 77 padding-left:1.5em;
25 border-left:2px solid #f0f0f0; 78 border-left:2px solid #f0f0f0;
26 margin-left: -2px; 79 margin-left:-2px;
27} 80}
28 81
29pre code { 82pre code {