8 h1, h2, h3, h4, h5, h6 {
14 text-decoration: none;
50 font-family: monospace;
53 font-family: monospace;
54 background-color: #666;
55 border: solid 1px #222;
56 padding: 2px 6px 2px 6px;
73 background-image: url('../images/main-bg.png');
74 background-repeat: repeat-x;
75 background-color: white;
78 font-family: 'DejaVu Sans Condensed', Arial, sans-serif;
89 border-collapse: collapse;
116 margin: 0 0px 0 30px;
117 padding: 0 15px 0 15px;
119 -moz-border-radius: 8px;
120 background-image: url("../images/nav-bg.png");
121 box-shadow: 0px 2px 2px #a0a0ff;
127 border-left: solid 1px #222;
128 border-right: solid 1px #777;
129 margin: 0 10px 0 10px;
134 margin: 5px 7px 5px 7px;
139 border: solid 1px transparent;
141 -moz-border-radius: 4px;
145 text-decoration: underline;
149 background-color: #666;
150 border: solid 1px #888;
151 text-decoration: none;
156 background-color: white;
160 padding-bottom: 36px;
161 border: solid 1px #bce;
162 border-top: solid 1px #abd;
164 -moz-border-radius: 8px;
168 margin: 25px 0 25px 0;
172 text-decoration: underline;
194 text-decoration: underline;
197 /***********************
198 * Page specific stuff *
199 ***********************/
218 text-decoration: none;
219 padding: 8px 25px 8px 25px;
220 background-image: url("../images/dl-bg.png");
222 -moz-border-radius: 10px;
223 box-shadow: 0px 2px 2px rgba(0,0,0,0.30);
230 .download:first-line {
250 padding: 0px; /* override ul */
269 box-shadow: 0px 2px 6px #888;
291 li.linux, li.windows, li.macos {
292 list-style-type: none;
293 background-repeat: no-repeat;
295 margin: 10px 10px 20px 0;
299 background-image: url("../images/os-linux.png");
302 background-image: url("../images/os-windows.png");
305 background-image: url("../images/os-macos.png");