9 h1, h2, h3, h4, h5, h6 {
15 text-decoration: none;
49 font-family: monospace;
52 font-family: monospace;
53 background-color: #666;
54 border: solid 1px #222;
55 padding: 2px 6px 2px 6px;
64 background-image: url('../images/main-bg.png');
65 background-repeat: repeat-x;
66 background-color: white;
69 font-family: sans-serif;
79 border-collapse: collapse;
95 font-family: 'DejaVu Sans', sans-serif;
106 margin: 0 0px 0 30px;
107 padding: 0 15px 0 15px;
109 -moz-border-radius: 8px;
110 background-image: url("../images/nav-bg.png");
111 box-shadow: 0px 2px 2px #a0a0ff;
121 border-left: solid 1px #222;
122 border-right: solid 1px #777;
123 margin: 0 10px 0 10px;
128 margin: 5px 7px 5px 7px;
133 border: solid 1px transparent;
135 -moz-border-radius: 4px;
139 text-decoration: underline;
143 background-color: #666;
144 border: solid 1px #888;
145 text-decoration: none;
150 background-color: white;
154 border: solid 1px #bce;
155 border-top: solid 1px #abd;
157 -moz-border-radius: 8px;
161 margin: 25px 0 25px 0;
169 text-decoration: underline;
180 text-decoration: underline;
183 /***********************
184 * Page specific stuff *
185 ***********************/
201 padding: 8px 10px 8px 10px;
202 background-image: url("../images/dl-bg.png");
204 -moz-border-radius: 10px;
205 box-shadow: 0px 2px 2px rgba(0,0,0,0.30);
208 .download:first-line {
227 left: 0px; /* override ul */
246 box-shadow: 0px 2px 6px #888;
270 li.linux, li.windows, li.macos {
271 list-style-type: none;
272 background-repeat: no-repeat;
274 margin: 10px 10px 20px 0;
278 background-image: url("../images/os-linux.png");
281 background-image: url("../images/os-windows.png");
284 background-image: url("../images/os-macos.png");