Merge branch 'working'
[lambda.git] / local.css
1 /* ikiwiki local style sheet */
2
3 /* Add local styling here, instead of modifying style.css. */
4
5 u {
6         border: 3px single #000;
7 }
8
9 .box2 {
10         border: 3px double #000;
11 }
12
13
14 .ul {
15         text-decoration: underline;
16 }
17
18 a {
19         text-decoration: none;
20         color: #005a9c;
21 }
22
23 a:hover {
24         text-decoration: underline;
25 }
26
27
28 hr {
29         border-style: none;
30         background-color: #999;
31         height: 1px;
32 }
33
34 code, pre {
35     background: #eee;
36 }
37
38 pre {
39     padding: .5em;
40 }
41
42 body {
43         margin: 0;
44         padding: 0;
45         font-family: sans-serif;
46         color: black;
47         background: white;
48 }
49
50 .pageheader {
51         margin: 0;
52         padding: 1em 2em 0 2em;
53         background: #eee;
54         border-color: #999;
55         border-style: none none solid none;
56         border-width: 1px;
57 }
58
59 .header {
60         font-size: 100%;
61         font-weight: normal;
62 }
63
64 .title {
65         display: block;
66         margin-top: .2em;
67         font: 140% sans-serif;
68         text-transform: capitalize;
69 }
70
71 .actions {
72         text-align: right;
73         padding: 0;
74 }
75
76 #content, #comments, #footer {
77         margin: 1em 2em;
78 }
79
80 #pageinfo {
81         border-color: #999;
82 }
83
84 .inlinepage {
85         margin: .4em 0;
86         padding: .4em 0;
87         border-style: none;
88         border-top: 1px solid #aaa;
89 }
90
91 .inlineheader {
92         font-size: 120%;
93         font-weight: normal;
94 }
95
96 h1 { font: 120% sans-serif }
97 h2 { font: bold 100% sans-serif }
98 h3 { font: italic 100% sans-serif }
99 h4, h5, h6 { font: small-caps 100% sans-serif }
100
101 /* Smaller headings for inline pages */
102 .inlinepage h1 { font-size: 110% }
103 .inlinepage h2 { font-size: 100% }
104 .inlinepage h3 { font-size: 100% }
105
106 .pageheader .actions ul {
107         border-style: none
108 }
109
110 .actions ul {
111         font-size: 75%;
112         padding: 0;
113         border-style: none;
114 }
115
116 .actions ul li a {
117         text-decoration: none;
118 }
119
120 .actions ul li {
121         margin: 0;
122         padding: .1em .5em 0 .5em;
123         background: white;
124         border-color: #999;
125         border-style: solid solid none solid;
126         border-width: 1px;
127 }
128
129 div.recentchanges {
130         border-style: none;
131 }
132
133 .pagecloud {
134         width: auto;
135 }
136
137
138 /* http://johnmacfarlane.net/highlighting-kate/hk-kate.css */
139 /* Based on kate's own default colors for Haskell */
140 table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
141    { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
142 td.lineNumbers { text-align: right; background-color: #EBEBEB; color: black; padding-right: 5px; padding-left: 5px; }
143 td.sourceCode { padding-left: 5px; }
144 pre.sourceCode { }
145 pre.sourceCode span.kw { font-weight: bold; }  /* Keyword */
146 pre.sourceCode span.dt { color: #800000; } /* Keyword.Type */
147 pre.sourceCode span.dv { color: #0000FF; } /* Literal.Number.Integer */
148 pre.sourceCode span.bn { color: #0000FF; } /* Literal.Number.Hex */
149 pre.sourceCode span.fl { color: #800080; } /* Literal.Number.Float */
150 pre.sourceCode span.ch { color: #FF00FF; } /* Literal.String.Char */
151 pre.sourceCode span.st { color: #DD0000; } /* Literal.String */
152 pre.sourceCode span.co { color: #808080; font-style: italic; } /* Comment */
153 pre.sourceCode span.ot { } /* Comment.Preproc */
154 pre.sourceCode span.al { color: green; font-weight: bold; } /* Generic.Error */
155 pre.sourceCode span.fu { color: #000080; } /* Name.Function */
156 pre.sourceCode span.re { }
157 pre.sourceCode span.er { color: red; font-weight: bold; } /* Error */
158
159
160
161 /* http://johnmacfarlane.net/highlighting-kate/hk-pyg.css
162 /- Loosely based on pygment's default colors -/
163 table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
164    { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
165 td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
166 td.sourceCode { padding-left: 5px; }
167 pre.sourceCode { }
168 pre.sourceCode span.kw { color: #007020; font-weight: bold; }
169 pre.sourceCode span.dt { color: #902000; }
170 pre.sourceCode span.dv { color: #40a070; }
171 pre.sourceCode span.bn { color: #40a070; }
172 pre.sourceCode span.fl { color: #40a070; }
173 pre.sourceCode span.ch { color: #4070a0; }
174 pre.sourceCode span.st { color: #4070a0; }
175 pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
176 pre.sourceCode span.ot { color: #007020; }
177 pre.sourceCode span.al { color: red; font-weight: bold; }
178 pre.sourceCode span.fu { color: #06287e; }
179 pre.sourceCode span.re { }
180 pre.sourceCode span.er { color: red; font-weight: bold; }
181  */
182
183
184 /*
185 /- Loosely based on pygment's tango colors -/
186 table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre
187    { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; background-color: #f8f8f8 }
188 td.nums { text-align: right; padding-right: 5px; padding-left: 5px; background-color: #f0f0f0; }
189 td.sourceCode { padding-left: 5px; }
190 code.sourceCode { background-color: #f8f8f8; }
191 pre.sourceCode { background-color: #f8f8f8; line-height: 125% }
192 td.nums pre { background-color: #f0f0f0; line-height: 125% }
193 code.sourceCode span.kw { color: #204a87; font-weight: bold }
194 code.sourceCode span.dt { color: #204a87 }
195 code.sourceCode span.dv { color: #0000cf }
196 code.sourceCode span.bn { color: #0000cf }
197 code.sourceCode span.fl { color: #0000cf }
198 code.sourceCode span.ch { color: #4e9a06 }
199 code.sourceCode span.st { color: #4e9a06 }
200 code.sourceCode span.co { color: #8f5902; font-style: italic }
201 code.sourceCode span.ot { color: #8f5902 }
202 code.sourceCode span.al { color: #ef2929 }
203 code.sourceCode span.fu { color: #000000 }
204 code.sourceCode span.re { }
205 code.sourceCode span.er { color: #a40000; border: 1px solid #ef2929 }
206  */
207