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;
79 background-image: url('../images/main-bg.png');
80 background-repeat: repeat-x;
81 background-color: white;
84 font-family: 'DejaVu Sans Condensed', Arial, sans-serif;
95 border-collapse: collapse;
115 .subtitle, .subtitle a {
128 margin: 0 0px 0 30px;
129 padding: 0 15px 0 15px;
131 -moz-border-radius: 8px;
132 background-image: url("../images/nav-bg.png");
133 box-shadow: 0px 2px 2px #a0a0ff;
139 border-left: solid 1px #222;
140 border-right: solid 1px #777;
141 margin: 0 10px 0 10px;
146 margin: 5px 7px 5px 7px;
151 border: solid 1px transparent;
153 -moz-border-radius: 4px;
157 text-decoration: underline;
161 background-color: #666;
162 border: solid 1px #888;
163 text-decoration: none;
168 background-color: white;
172 padding-bottom: 36px;
173 border: solid 1px #bce;
174 border-top: solid 1px #abd;
176 -moz-border-radius: 8px;
180 margin: 25px 0 25px 0;
184 text-decoration: underline;
206 text-decoration: underline;
209 /***********************
210 * Page specific stuff *
211 ***********************/
221 .download, a.download {
229 text-decoration: none;
230 padding: 8px 25px 8px 25px;
232 background-image: url("../images/dl-bg.png");
234 -moz-border-radius: 10px;
235 box-shadow: 0px 2px 2px rgba(0,0,0,0.30);
242 .download:first-line {
247 text-shadow: 1px 1px 1px #666;
264 padding: 0px; /* override ul */
283 box-shadow: 0px 2px 6px #888;
305 li.linux, li.windows, li.macos {
306 list-style-type: none;
307 background-repeat: no-repeat;
309 margin: 10px 10px 20px 0;
313 background-image: url("../images/os-linux.png");
316 background-image: url("../images/os-windows.png");
319 background-image: url("../images/os-macos.png");
352 .asciidoc .hdlist table {