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;
72 margin: -10px 30px 0px 20px;
78 background-image: url('../images/main-bg.png');
79 background-repeat: repeat-x;
80 background-color: white;
83 font-family: 'DejaVu Sans Condensed', Arial, sans-serif;
94 border-collapse: collapse;
121 margin: 0 0px 0 30px;
122 padding: 0 15px 0 15px;
124 -moz-border-radius: 8px;
125 background-image: url("../images/nav-bg.png");
126 box-shadow: 0px 2px 2px #a0a0ff;
132 border-left: solid 1px #222;
133 border-right: solid 1px #777;
134 margin: 0 10px 0 10px;
139 margin: 5px 7px 5px 7px;
144 border: solid 1px transparent;
146 -moz-border-radius: 4px;
150 text-decoration: underline;
154 background-color: #666;
155 border: solid 1px #888;
156 text-decoration: none;
161 background-color: white;
165 padding-bottom: 36px;
166 border: solid 1px #bce;
167 border-top: solid 1px #abd;
169 -moz-border-radius: 8px;
173 margin: 25px 0 25px 0;
177 text-decoration: underline;
199 text-decoration: underline;
202 /***********************
203 * Page specific stuff *
204 ***********************/
222 text-decoration: none;
223 padding: 8px 25px 8px 25px;
224 background-image: url("../images/dl-bg.png");
226 -moz-border-radius: 10px;
227 box-shadow: 0px 2px 2px rgba(0,0,0,0.30);
234 .download:first-line {
254 padding: 0px; /* override ul */
273 box-shadow: 0px 2px 6px #888;
295 li.linux, li.windows, li.macos {
296 list-style-type: none;
297 background-repeat: no-repeat;
299 margin: 10px 10px 20px 0;
303 background-image: url("../images/os-linux.png");
306 background-image: url("../images/os-windows.png");
309 background-image: url("../images/os-macos.png");