+csv dep for PG'OCaml.
[cocanwiki.git] / html / _css / standard.css
1 /* Stylesheet for COCANWIKI.
2  * $Id: standard.css,v 1.32 2006/12/07 17:05:47 rich Exp $
3  */
4
5 /* Based on the basic stylesheet. */
6 @import url("basic.css");
7
8 /* Tables. */
9 @import url("tables.css");
10
11 /* Calendar extension. */
12 @import url("calendar.css");
13
14 /* Folding headings. */
15 @import url("folding.css");
16
17 /* For RSS feeds ({{rss}} function). */
18 @import url("rss.css");
19
20 /* For print media. */
21 @import url("print.css");
22
23 body {
24   background: #fff;
25   color: #000;
26   font-family: trebuchet ms, palatino, georgia, arial, helvetica, sans-serif;
27   margin-top: 6em;
28   line-height: 1.35em;
29 }
30
31 /* Headers. */
32 h1 {
33   background-color: #fff;
34   border-bottom: 1px solid #000;
35   position: absolute;
36   top: 0px;
37   left: 0px;
38   font-size: 140%;
39   width: 95%;
40   padding-left: 2em;
41 }
42
43 h2 {
44   color: #666;
45   border-top: 1px dashed #ddd;
46   padding: 6px 3px 3px 3px;
47   font-size: 120%;
48 }
49
50 h3, h4 {
51   color: #555;
52   font-size: 100%;
53 }
54
55 /* Ordinary text. */
56 div#content_div {
57   margin-left: 3em;
58   width: 30em;
59   min-height: 22em;
60 }
61
62 /* Outdent headers in the content div. */
63 div#content_div h2, div#content_div h3, div#content_div h4 {
64   margin-left: -2em;
65 }
66
67 /* ... except on IE which can't handle it. */
68 * html div#content_div h2, * html div#content_div h3, * html div#content_div h4 {
69   margin-left: 0px;
70 }
71
72 /* Lists. */
73 div#content_div ul {
74   margin-left: 0px;
75   padding-left: 0px;
76 }
77
78 div#content_div ol {
79   margin-left: 0px;
80   padding-left: 0px;
81 }
82
83 /* ... except on IE, piece of crap. */
84 * html div#content_div ul {
85   margin-left: 1em;
86   padding-left: 1em;
87 }
88 * html div#content_div ol {
89   margin-left: 1em;
90   padding-left: 1em;
91 }
92
93 /* Make <code> sections slightly larger in Gecko browsers. */
94 code {
95   font-size: 1.2em;
96 }
97
98 * html code {
99   font-size: 1em;
100 }
101
102 /* Abbreviations should be in smallcaps. */
103 abbr, acronym {
104   font-variant: small-caps;
105 }
106
107 /* Preformatted text. */
108 pre {
109   margin-left: 1em;
110   background-color: #fefefe;
111   padding: 3px;
112   border: solid 1px #eee;
113 }
114
115 /* Images.  (Try setting 'class' on an image). */
116 img.border {
117   border: 1px solid #000;
118   margin: 0.3em;
119 }
120
121 img.right_float {
122   float: right;
123   margin: 0.3em;
124 }
125
126 img.right_float_border {
127   border: 1px solid #000;
128   float: right;
129   margin: 0.3em;
130 }
131
132 img.left_float {
133   float: left;
134   margin: 0.3em;
135 }
136
137 img.left_float_border {
138   border: 1px solid #000;
139   float: left;
140   margin: 0.3em;
141 }
142
143 /* Special effects.  (Try setting 'CSS class' on a section). */
144 div.leftcol {
145   width: 45%;
146 }
147 div.leftcol h2, div.leftcol p.edit_link {
148   display: none;
149 }
150
151 div.rightcol {
152   width: 45%;
153   float: right;
154   position: relative;
155   top: -16px;
156 }
157 * html div.rightcol {
158   top: 0px;
159 }
160 div.rightcol h2, div.rightcol p.edit_link {
161   display: none;
162 }
163
164 div.clearboth {
165   clear: both;
166 }
167
168 div.sticker {
169   border: 2px outset #000;
170   background-color: #fcfcfc;
171   padding: 12px;
172   -moz-border-radius: 10px;
173   border-radius: 10px; /* CSS3 */
174 }
175 div.sticker h2, div.sticker p.edit_link {
176   display: none;
177 }
178
179 div.product_right img {
180   float: right;
181   border: none;
182   margin-left: 2em;
183   margin-bottom: 0.5em;
184 }
185
186 div.product_left img {
187   float: left;
188   border: none;
189   margin-right: 2em;
190   margin-bottom: 0.5em;
191 }
192
193 /* Edit links. */
194 p.edit_link {
195   margin: 6px 0px 0px 0px;
196   padding-right: 12px;
197   float: right;
198 }
199
200 /* Menus. */
201 ul.menu {
202   padding: 0px;
203   margin-left: 1em;
204   list-style: none;
205 }
206
207 ul.menu li {
208   display: inline;
209   border-left: 1px solid #666;
210   padding-left: 5px;
211 }
212
213 ul.menu li.first {
214   border-left: none;
215   padding-left: 0px;
216 }
217
218 ul#topmenu {
219   position: absolute;
220   top: 3em;
221   left: 0.8em;
222 }
223
224 ul#footer {
225   text-align: center;
226   font-size: 70%;
227 }
228
229 /* Graphics on the menu items. */
230 li.edit_li a {
231   padding-left: 16px;
232   background: url(/_graphics/edit.png) center left no-repeat;
233 }
234
235 li.files_li a {
236   padding-left: 18px;
237   background: url(/_graphics/files.png) center left no-repeat;
238 }
239
240 li.home_li a {
241   padding-left: 16px;
242   background: url(/_graphics/home.png) center left no-repeat;
243 }
244
245 li.images_li a {
246   padding-left: 18px;
247   background: url(/_graphics/images.png) center left no-repeat;
248 }
249
250 li.maillist_li a {
251   padding-left: 18px;
252   background: url(/_graphics/maillist.png) center left no-repeat;
253 }
254
255 li.new_li a {
256   padding-left: 16px;
257   background: url(/_graphics/new.png) center left no-repeat;
258 }
259
260 li.recent_li a {
261   padding-left: 18px;
262   background: url(/_graphics/recent.png) center left no-repeat;
263 }
264
265 li.sitemap_li a {
266   padding-left: 18px;
267   background: url(/_graphics/sitemap.png) center left no-repeat;
268 }
269
270 li.stats_li a {
271   padding-left: 18px;
272   background: url(/_graphics/stats.png) center left no-repeat;
273 }
274
275 li.stylesheet_li a {
276   padding-left: 16px;
277   background: url(/_graphics/edit.png) center left no-repeat;
278 }
279
280 li.versions_li a {
281   padding-left: 18px;
282   background: url(/_graphics/versions.png) center left no-repeat;
283 }
284
285 li.wlh_li a {
286   padding-left: 18px;
287   background: url(/_graphics/wlh.png) center left no-repeat;
288 }
289
290 /* Recent changes list. */
291 ul#recent_changes {
292   list-style: none;
293   margin-left: 0px;
294   padding-left: 0px;
295 }
296
297 ul#recent_changes span.date {
298   display: block;
299   float: left;
300   width: 9em;
301 }
302
303 /* History list. */
304 ul#history {
305   list-style: none;
306   margin-left: 0px;
307   padding-left: 0px;
308 }
309
310 ul#history span.date {
311   display: block;
312   float: left;
313   width: 9em;
314 }
315
316 /* Forms. */
317 form > table {
318   margin-left: auto;
319   margin-right: auto;
320 }
321
322 input:focus {
323   background-color: #eef;
324 }
325
326 textarea:focus {
327   background-color: #eef;
328 }
329
330 /* Search box. */
331 div#search_div {
332   position: absolute;
333   left: 50%;
334   width: 49%;
335   top: 0.95em;
336   text-align: right;
337 }
338
339 /* WikiForms - hide the edit link for the top section. */
340 div#form_div p.edit_link {
341   display: none;
342 }
343
344 /* Navigation area.
345  * The navigation_space_div reserves the space for the div and appears
346  * at the beginning of the page (but is empty).
347  */
348 div#navigation_space_div {
349   float: right;
350   width: 10em;
351   height: 22em;
352   background: #fff;
353   margin-left: 1em;
354 }
355
356 div#navigation_div {
357   position: absolute;
358   right: 1em;
359   top: 6em;
360   width: 10em;
361   height: 22em;
362   line-height: 1em;
363 }
364
365 div#navigation_div h2 {
366   display: none;
367 }
368
369 div#navigation_div h3 {
370   margin-left: 1em;
371   margin-top: -0.5em;
372   font-size: 70%;
373 }
374
375 div#navigation_div ul {
376   font-size: 70%;
377   margin-top: -1em;
378   margin-left: -1em;
379 }
380
381 /* The "* html" causes this rule to only be applied to IE 5/6. */
382 * html div#navigation_div li {
383   line-height: 1.2em;
384   margin-left: 3em;
385   padding-left: 0px;
386 }
387
388 /* Default for branding section.  The default doesn't claim to be very
389  * helpful.  If you enabled branding on the site, you should abs-position
390  * the branding_div, and indeed probably replace it with a logo at the
391  * top of each page.
392  */
393 div#branding_div {
394   width: 30%;
395   float: right;
396   font-size: 0.7em;
397 }
398
399 div#branding_div h2 {
400   border: none;
401   margin: 0px;
402   padding: 0px;
403 }
404
405 div#branding_div p {
406   margin: 0px;
407   padding: 0px;
408 }
409
410 div#branding_div p#brand_description {
411   display: none;
412 }