diff options
Diffstat (limited to 'provider/css')
-rw-r--r-- | provider/css/default.css | 77 |
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 @@ | |||
1 | header, footer { | ||
2 | padding:1em 0 1em 0; | ||
3 | } | ||
4 | |||
5 | header { | ||
6 | border-bottom:2px solid #f0f0f0; | ||
7 | } | ||
8 | |||
9 | footer { | ||
10 | border-top:2px solid #f0f0f0; | ||
11 | } | ||
12 | |||
13 | footer ul.tags { | ||
14 | list-style:none outside none; | ||
15 | margin:0; | ||
16 | padding:0; | ||
17 | display:inline; | ||
18 | } | ||
19 | |||
20 | footer ul.tags:before { content:" — "; } | ||
21 | |||
22 | footer ul.tags li { | ||
23 | margin:0; | ||
24 | padding:0; | ||
25 | display:inline; | ||
26 | } | ||
27 | |||
28 | footer ul.tags li:after { content:", "; } | ||
29 | |||
30 | footer ul.tags li:last-child:after { content: ""; } | ||
31 | |||
32 | header h1, header h2 { | ||
33 | margin:0; | ||
34 | } | ||
35 | |||
36 | header h2.subtitle { | ||
37 | font-size:1em; | ||
38 | font-weight:normal; | ||
39 | font-style:italic; | ||
40 | } | ||
41 | |||
1 | body { | 42 | body { |
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 | ||
10 | a { | 51 | a { |
11 | color: inherit; | 52 | color:inherit; |
12 | } | 53 | } |
13 | 54 | ||
14 | p { | 55 | p { |
15 | margin-bottom: 0 | 56 | margin-top:1em; |
57 | margin-bottom:0; | ||
58 | } | ||
59 | |||
60 | p:last-of-type { | ||
61 | margin-bottom:1em; | ||
16 | } | 62 | } |
17 | 63 | ||
18 | p + p { | 64 | p + p { |
19 | text-indent: 1.5em; | 65 | text-indent:1.5em; |
20 | margin-top: 0; | 66 | margin-top:0; |
67 | } | ||
68 | |||
69 | footer p, footer p:last-of-type { | ||
70 | margin:0; | ||
71 | padding:0; | ||
72 | text-indent:0; | ||
73 | display:inline; | ||
21 | } | 74 | } |
22 | 75 | ||
23 | div.sourceCode { | 76 | div.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 | ||
29 | pre code { | 82 | pre code { |