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 581 - (show annotations) (download) (as text)
Wed Dec 29 10:33:04 2010 UTC (14 years, 2 months ago) by amb
File MIME type: text/css
File size: 5992 byte(s)
Rename the files that were moved in routino-1.4.1.

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 }