Routino SVN Repository Browser

Check out the latest version of Routino: svn co http://routino.org/svn/trunk routino

ViewVC logotype

Contents of /trunk/doc/html/style.css

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1469 - (show annotations) (download) (as text)
Mon Dec 30 15:54:35 2013 UTC (11 years, 2 months ago) by amb
File MIME type: text/css
File size: 6358 byte(s)
Convert documentation to HTML 4.01 strict DTD (from loose DTD).

1 /*
2 // Routino web page style sheet.
3 //
4 // Part of the Routino routing software.
5 //
6 // This file Copyright 2008-2013 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 /* text alignment */
85
86 text-align: center;
87
88 /* floats */
89
90 clear: left;
91 }
92
93 DIV.header HR /* Horizontal rule, only visible without CSS */
94 {
95 display: none;
96 }
97
98 DIV.header H1
99 {
100 /* fonts and text styles */
101
102 font-size: xx-large;
103
104 font-weight: bold;
105
106 text-decoration: underline;
107
108 /* margins, borders, padding and sizes */
109
110 padding: 0.25em;
111
112 border: 0;
113
114 margin: 0;
115 }
116
117
118 /*-----------------------------------*/
119 /* Footer HTML formatting */
120 /*-----------------------------------*/
121
122 DIV.footer
123 {
124 /* fonts and text styles */
125
126 font-size: small;
127
128 /* margins, borders, padding and sizes */
129
130 padding: 0;
131 padding-top: 0.5em;
132 padding-bottom: 0.5em;
133
134 border-width: 0;
135 border-top: solid;
136 border-top-width: thin;
137
138 margin: 0;
139
140 /* text alignment */
141
142 text-align: center;
143
144 /* floats */
145
146 clear: left;
147 }
148
149 DIV.footer HR /* Horizontal rule, only visible without CSS */
150 {
151 display: none;
152 }
153
154
155 /*-----------------------------------*/
156 /* Content HTML formatting */
157 /*-----------------------------------*/
158
159 DIV.content
160 {
161 /* margins, borders, padding and sizes */
162
163 padding: 0.5em;
164
165 border-width: 0;
166 }
167
168 DIV.content H1
169 {
170 /* fonts and text styles */
171
172 font-size: xx-large;
173 font-weight: bold;
174
175 /* margins, borders, padding and sizes */
176
177 padding: 0;
178
179 margin-top: 1em;
180 margin-bottom: 0.25em;
181 }
182
183 DIV.content H2
184 {
185 /* fonts and text styles */
186
187 font-size: x-large;
188 font-weight: bold;
189
190 /* margins, borders, padding and sizes */
191
192 padding: 0;
193
194 margin-top: 0.75em;
195 margin-bottom: 0.25em;
196 }
197
198 DIV.content H3
199 {
200 /* fonts and text styles */
201
202 font-size: large;
203 font-weight: bold;
204
205 /* margins, borders, padding and sizes */
206
207 padding: 0;
208
209 margin-top: 0.75em;
210 margin-bottom: 0.25em;
211 }
212
213 DIV.content H4
214 {
215 /* fonts and text styles */
216
217 font-size: medium;
218 font-weight: bold;
219
220 /* margins, borders, padding and sizes */
221
222 padding: 0;
223
224 margin-top: 0.5em;
225 margin-bottom: 0.125em;
226 }
227
228 DIV.content P.center
229 {
230 /* text alignment */
231
232 text-align: center;
233 }
234
235 DIV.content OL, DIV.content UL, DIV.content DIR, DIV.content MENU, DIV.content DL
236 {
237 /* margins, borders, padding and sizes */
238
239 padding-top: 0;
240 padding-bottom: 0;
241
242 margin-top: 0.25em;
243 margin-bottom: 0.25em;
244 }
245
246 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
247 {
248 /* margins, borders, padding and sizes */
249
250 padding-top: 0;
251 padding-bottom: 0;
252
253 margin-top: 0;
254 margin-bottom: 0;
255 }
256
257 DIV.content FORM
258 {
259 /* margins, borders, padding and sizes */
260
261 padding: 0.5em;
262
263 margin: 0.5em;
264 }
265
266 DIV.content INPUT
267 {
268 /* margins, borders, padding and sizes */
269
270 padding: 0;
271
272 border: 1px solid;
273
274 margin: 1px;
275 }
276
277 DIV.content BUTTON
278 {
279 /* margins, borders, padding and sizes */
280
281 padding: 0;
282
283 border: 1px solid;
284
285 margin: 1px;
286 }
287
288 DIV.content INPUT.left
289 {
290 /* text alignment */
291
292 text-align: left;
293 }
294
295 DIV.content INPUT.center
296 {
297 /* text alignment */
298
299 text-align: center;
300 }
301
302 DIV.content INPUT.right
303 {
304 /* text alignment */
305
306 text-align: right;
307 }
308
309 DIV.content TABLE
310 {
311 /* margins, borders, padding and sizes */
312
313 padding: 0;
314
315 border: 2px solid;
316
317 margin: 0;
318 margin-left: auto;
319 margin-right: auto;
320
321 border-collapse: collapse;
322 }
323
324 DIV.content TABLE.center
325 {
326 /* text alignment */
327
328 text-align: center;
329 }
330
331 DIV.content TABLE.noborder
332 {
333 /* margins, borders, padding and sizes */
334
335 margin-left: auto;
336 margin-right: auto;
337
338 border: 0;
339 }
340
341 DIV.content TABLE.noborder-left
342 {
343 /* margins, borders, padding and sizes */
344
345 margin-left: 0;
346 margin-right: auto;
347
348 border: 0;
349 }
350
351 DIV.content CAPTION
352 {
353 /* position */
354
355 caption-side: bottom;
356
357 /* text alignment */
358
359 text-align: center;
360
361 /* fonts and text styles */
362
363 font-weight: bold;
364 }
365
366 DIV.content TD, DIV.content TH
367 {
368 /* margins, borders, padding and sizes */
369
370 border: 1px solid;
371 }
372
373 DIV.content TABLE.noborder TD, DIV.content TABLE.noborder TH
374 {
375 /* margins, borders, padding and sizes */
376
377 border: 0;
378 }
379
380 DIV.content TABLE.noborder-left TD, DIV.content TABLE.noborder-left TH
381 {
382 /* margins, borders, padding and sizes */
383
384 border: 0;
385 }
386
387 DIV.content TD.left, DIV.content TH.left, DIV.content TR.left
388 {
389 /* text alignment */
390
391 text-align: left;
392 }
393
394 DIV.content TD.center, DIV.content TH.center, DIV.content TR.center
395 {
396 /* text alignment */
397
398 text-align: center;
399 }
400
401 DIV.content TD.right, DIV.content TH.right, DIV.content TR.right
402 {
403 /* text alignment */
404
405 text-align: right;
406 }
407
408 DIV.content IMG.center
409 {
410 display: block;
411
412 /* margins, borders, padding and sizes */
413
414 margin-left: auto;
415 margin-right: auto;
416 }
417
418 DIV.content IMG
419 {
420 /* margins, borders, padding and sizes */
421
422 border: 0px;
423 }