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