8 h1, h2, h3, h4, h5, h6 {
14 text-decoration: none;
50 font-family: monospace;
54 font-family: monospace;
55 background-color: #666;
56 border: solid 1px #222;
57 padding: 2px 6px 2px 6px;
74 margin: -10px 30px 0px 20px;
80 background-image: url('../images/main-bg.png');
81 background-repeat: repeat-x;
82 background-color: white;
85 font-family: 'DejaVu Sans Condensed', Arial, sans-serif;
96 border-collapse: collapse;
123 margin: 0 0px 0 30px;
124 padding: 0 15px 0 15px;
126 -moz-border-radius: 8px;
127 background-image: url("../images/nav-bg.png");
128 box-shadow: 0px 2px 2px #a0a0ff;
134 border-left: solid 1px #222;
135 border-right: solid 1px #777;
136 margin: 0 10px 0 10px;
141 margin: 5px 7px 5px 7px;
146 border: solid 1px transparent;
148 -moz-border-radius: 4px;
152 text-decoration: underline;
156 background-color: #666;
157 border: solid 1px #888;
158 text-decoration: none;
163 background-color: white;
167 padding-bottom: 36px;
168 border: solid 1px #bce;
169 border-top: solid 1px #abd;
171 -moz-border-radius: 8px;
175 margin: 25px 0 25px 0;
179 text-decoration: underline;
201 text-decoration: underline;
204 /***********************
205 * Page specific stuff *
206 ***********************/
224 text-decoration: none;
225 padding: 8px 25px 8px 25px;
227 background-image: url("../images/dl-bg.png");
229 -moz-border-radius: 10px;
230 box-shadow: 0px 2px 2px rgba(0,0,0,0.30);
237 .download:first-line {
257 padding: 0px; /* override ul */
276 box-shadow: 0px 2px 6px #888;
298 li.linux, li.windows, li.macos {
299 list-style-type: none;
300 background-repeat: no-repeat;
302 margin: 10px 10px 20px 0;
306 background-image: url("../images/os-linux.png");
309 background-image: url("../images/os-windows.png");
312 background-image: url("../images/os-macos.png");