9 h1, h2, h3, h4, h5, h6 {
15 text-decoration: none;
51 font-family: monospace;
54 font-family: monospace;
55 background-color: #666;
56 border: solid 1px #222;
57 padding: 2px 6px 2px 6px;
66 background-image: url('../images/main-bg.png');
67 background-repeat: repeat-x;
68 background-color: white;
71 font-family: 'DejaVu Sans Condensed', Arial, sans-serif;
82 border-collapse: collapse;
108 margin: 0 0px 0 30px;
109 padding: 0 15px 0 15px;
111 -moz-border-radius: 8px;
112 background-image: url("../images/nav-bg.png");
113 box-shadow: 0px 2px 2px #a0a0ff;
119 border-left: solid 1px #222;
120 border-right: solid 1px #777;
121 margin: 0 10px 0 10px;
126 margin: 5px 7px 5px 7px;
131 border: solid 1px transparent;
133 -moz-border-radius: 4px;
137 text-decoration: underline;
141 background-color: #666;
142 border: solid 1px #888;
143 text-decoration: none;
148 background-color: white;
152 border: solid 1px #bce;
153 border-top: solid 1px #abd;
155 -moz-border-radius: 8px;
159 margin: 25px 0 25px 0;
163 text-decoration: underline;
185 text-decoration: underline;
188 /***********************
189 * Page specific stuff *
190 ***********************/
208 padding: 8px 10px 8px 10px;
209 background-image: url("../images/dl-bg.png");
211 -moz-border-radius: 10px;
212 box-shadow: 0px 2px 2px rgba(0,0,0,0.30);
219 .download:first-line {
238 padding: 0px; /* override ul */
257 box-shadow: 0px 2px 6px #888;
281 li.linux, li.windows, li.macos {
282 list-style-type: none;
283 background-repeat: no-repeat;
285 margin: 10px 10px 20px 0;
289 background-image: url("../images/os-linux.png");
292 background-image: url("../images/os-windows.png");
295 background-image: url("../images/os-macos.png");