Imported Upstream version 1.5
[routino] / doc / html / style.css
1 /*
2 // Routino web page style sheet.
3 //
4 // Part of the Routino routing software.
5 //
6 // This file Copyright 2008-2010 Andrew M. Bishop
7 //
8 // This program is free software: you can redistribute it and/or modify
9 // it under the terms of the GNU Affero General Public License as published by
10 // the Free Software Foundation, either version 3 of the License, or
11 // (at your option) any later version.
12 //
13 // This program is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 // GNU Affero General Public License for more details.
17 //
18 // You should have received a copy of the GNU Affero General Public License
19 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
20 */
21
22
23 /*----------------------------------*/
24 /* Body HTML formatting             */
25 /*----------------------------------*/
26
27 BODY
28 {
29  /* fonts and text styles */
30
31  font-family: sans-serif;
32  font-size:   medium;
33
34  /* margins, borders, padding and sizes */
35
36  padding: 0;
37
38  margin: 0;
39 }
40
41 A.ext
42 {
43  /* fonts and text styles */
44
45  text-decoration: underline;
46 }
47
48 PRE
49 {
50  /* fonts and text styles */
51
52  font-family: monospace;
53 }
54
55 PRE.boxed
56 {
57  /* margins, borders, padding and sizes */
58
59  padding:      0.5em;
60
61  border:       solid;
62  border-width: thin;
63 }
64
65
66 /*-----------------------------------*/
67 /* Header HTML formatting            */
68 /*-----------------------------------*/
69
70 DIV.header
71 {
72  /* margins, borders, padding and sizes */
73
74  padding:        0;
75  padding-top:    0.5em;
76  padding-bottom: 0.5em;
77
78  border-width:        0;
79  border-bottom:       solid;
80  border-bottom-width: thin;
81
82  margin: 0;
83
84  /* floats */
85
86  clear: left;
87 }
88
89 DIV.header HR  /* Horizontal rule, only visible without CSS */
90 {
91  display: none;
92 }
93
94 DIV.header H1
95 {
96  /* fonts and text styles */
97
98  font-size:   xx-large;
99
100  font-weight: bold;
101
102  text-decoration: underline;
103
104  /* margins, borders, padding and sizes */
105
106  padding: 0.25em;
107
108  border: 0;
109
110  margin: 0;
111 }
112
113
114 /*-----------------------------------*/
115 /* Footer HTML formatting            */
116 /*-----------------------------------*/
117
118 DIV.footer
119 {
120  /* fonts and text styles */
121
122  font-size: small;
123
124  /* margins, borders, padding and sizes */
125
126  padding:        0;
127  padding-top:    0.5em;
128  padding-bottom: 0.5em;
129
130  border-width:      0;
131  border-top:        solid;
132  border-top-width:  thin;
133
134  margin: 0;
135
136  /* floats */
137
138  clear: left;
139 }
140
141 DIV.footer HR  /* Horizontal rule, only visible without CSS */
142 {
143  display: none;
144 }
145
146
147 /*-----------------------------------*/
148 /* Content HTML formatting           */
149 /*-----------------------------------*/
150
151 DIV.content
152 {
153  /* margins, borders, padding and sizes */
154
155  padding: 0.5em;
156
157  border-width:  0;
158 }
159
160 DIV.content H1
161 {
162  /* fonts and text styles */
163
164  font-size:   xx-large;
165  font-weight: bold;
166
167  /* margins, borders, padding and sizes */
168
169  padding: 0;
170
171  margin-top:    1em;
172  margin-bottom: 0.25em;
173 }
174
175 DIV.content H2
176 {
177  /* fonts and text styles */
178
179  font-size:   x-large;
180  font-weight: bold;
181
182  /* margins, borders, padding and sizes */
183
184  padding: 0;
185
186  margin-top:    0.75em;
187  margin-bottom: 0.25em;
188 }
189
190 DIV.content H3
191 {
192  /* fonts and text styles */
193
194  font-size:   large;
195  font-weight: bold;
196
197  /* margins, borders, padding and sizes */
198
199  padding: 0;
200
201  margin-top:    0.75em;
202  margin-bottom: 0.25em;
203 }
204
205 DIV.content H4
206 {
207  /* fonts and text styles */
208
209  font-size:   medium;
210  font-weight: bold;
211
212  /* margins, borders, padding and sizes */
213
214  padding: 0;
215
216  margin-top:    0.5em;
217  margin-bottom: 0.125em;
218 }
219
220 DIV.content OL, DIV.content UL, DIV.content DIR, DIV.content MENU, DIV.content DL
221 {
222  /* margins, borders, padding and sizes */
223
224  padding-top:    0;
225  padding-bottom: 0;
226
227  margin-top:    0.25em;
228  margin-bottom: 0.25em;
229 }
230
231 DIV.content UL UL, DIV.content UL OL, DIV.content UL DL, DIV.content OL UL, DIV.content OL OL, DIV.content OL DL, DIV.content DL UL, DIV.content DL OL, DIV.content DL DL
232 {
233  /* margins, borders, padding and sizes */
234
235  padding-top:    0;
236  padding-bottom: 0;
237
238  margin-top:    0;
239  margin-bottom: 0;
240 }
241
242 DIV.content FORM
243 {
244  /* margins, borders, padding and sizes */
245
246  padding: 0.5em;
247
248  margin: 0.5em;
249 }
250
251 DIV.content INPUT
252 {
253  /* margins, borders, padding and sizes */
254
255  padding: 0;
256
257  border:  1px solid;
258
259  margin:  1px;
260 }
261
262 DIV.content BUTTON
263 {
264  /* margins, borders, padding and sizes */
265
266  padding: 0;
267
268  border:  1px solid;
269
270  margin:  1px;
271 }
272
273 DIV.content INPUT.left
274 {
275  /* text alignment */
276
277  text-align: left;
278 }
279
280 DIV.content INPUT.center
281 {
282  /* text alignment */
283
284  text-align: center;
285 }
286
287 DIV.content INPUT.right
288 {
289  /* text alignment */
290
291  text-align: right;
292 }
293
294 DIV.content TABLE
295 {
296  /* margins, borders, padding and sizes */
297
298  padding: 0;
299
300  border:  2px solid;
301
302  margin:  0;
303  margin-left: auto;
304  margin-right: auto;
305
306  border-collapse: collapse;
307 }
308
309 DIV.content TABLE.noborder
310 {
311  /* margins, borders, padding and sizes */
312
313  margin-left: auto;
314  margin-right: auto;
315
316  border:  0;
317 }
318
319 DIV.content TABLE.noborder-left
320 {
321  /* margins, borders, padding and sizes */
322
323  margin-left: 0;
324  margin-right: auto;
325
326  border:  0;
327 }
328
329 DIV.content CAPTION
330 {
331  /* position */
332
333  caption-side: bottom;
334
335  /* text alignment */
336
337  text-align: center;
338
339  /* fonts and text styles */
340
341  font-weight: bold;
342 }
343
344 DIV.content TD, DIV.content TH
345 {
346  /* margins, borders, padding and sizes */
347
348  border:  1px solid;
349 }
350
351 DIV.content TABLE.noborder TD, DIV.content TABLE.noborder TH
352 {
353  /* margins, borders, padding and sizes */
354
355  border:  0;
356 }
357
358 DIV.content TABLE.noborder-left TD, DIV.content TABLE.noborder-left TH
359 {
360  /* margins, borders, padding and sizes */
361
362  border:  0;
363 }
364
365 DIV.content TD.left, DIV.content TH.left, DIV.content TR.left
366 {
367  /* text alignment */
368
369  text-align: left;
370 }
371
372 DIV.content TD.center, DIV.content TH.center, DIV.content TR.center
373 {
374  /* text alignment */
375
376  text-align: center;
377 }
378
379 DIV.content TD.right, DIV.content TH.right, DIV.content TR.right
380 {
381  /* text alignment */
382
383  text-align: right;
384 }
385
386 DIV.content IMG
387 {
388  /* margins, borders, padding and sizes */
389
390  border: 0px;
391 }