]>
Commit | Line | Data |
---|---|---|
92f5a8d4 TL |
1 | /* Colours: |
2 | #74240f dark brown h1, h2, h3, h4 | |
3 | #336699 medium blue links | |
4 | #339999 turquoise link hover colour | |
5 | #202020 almost black general text | |
6 | #761596 purple md5sum text | |
7 | #626262 dark gray pre border | |
8 | #eeeeee very light gray pre background | |
9 | #f2f2f9 very light blue nav table background | |
10 | #3366cc medium blue nav table border | |
11 | */ | |
12 | ||
13 | a, a:link, a:visited, a:active { color: #336699; } | |
14 | a:hover { color: #339999; } | |
15 | ||
16 | body { font: 80%/126% sans-serif; } | |
17 | h1, h2, h3, h4 { color: #74240f; } | |
18 | ||
19 | dt { color: #336699; font-weight: bold } | |
20 | dd { | |
21 | margin-left: 1.5em; | |
22 | padding-bottom: 0.8em; | |
23 | } | |
24 | ||
25 | /* -- ruler -- */ | |
26 | div.hr_blue { | |
27 | height: 3px; | |
28 | background:#ffffff url("/images/hr_blue.png") repeat-x; } | |
29 | div.hr_blue hr { display:none; } | |
30 | ||
31 | /* release styles */ | |
32 | #release p { margin-top: 0.4em; } | |
33 | #release .md5sum { color: #761596; } | |
34 | ||
35 | ||
36 | /* ------ styles for docs|manuals|howto ------ */ | |
37 | /* -- lists -- */ | |
38 | ul { | |
39 | margin: 0px 4px 16px 16px; | |
40 | padding: 0px; | |
41 | list-style: url("/images/li-blue.png"); | |
42 | } | |
43 | ul li { | |
44 | margin-bottom: 10px; | |
45 | } | |
46 | ul ul { | |
47 | list-style-type: none; | |
48 | list-style-image: none; | |
49 | margin-left: 0px; | |
50 | } | |
51 | ||
52 | /* header / footer nav tables */ | |
53 | table.nav { | |
54 | border: solid 1px #3366cc; | |
55 | background: #f2f2f9; | |
56 | background-color: #f2f2f9; | |
57 | margin-bottom: 0.5em; | |
58 | } | |
59 | /* don't have underlined links in chunked nav menus */ | |
60 | table.nav a { text-decoration: none; } | |
61 | table.nav a:hover { text-decoration: underline; } | |
62 | table.nav td { font-size: 85%; } | |
63 | ||
64 | code, tt, pre { font-size: 120%; } | |
65 | code, tt { color: #761596; } | |
66 | ||
67 | div.literallayout, pre.programlisting, pre.screen { | |
68 | color: #000000; | |
69 | padding: 0.5em; | |
70 | background: #eeeeee; | |
71 | border: 1px solid #626262; | |
72 | background-color: #eeeeee; | |
73 | margin: 4px 0px 4px 0px; | |
74 | } |