5 background-color: black;
6 background-image: url(starfield.jpg);
12 background-color: #fa0;
15 border-top: solid 1px black;
16 border-bottom: solid 1px black;
20 margin: 0.75em 1.7em 1.25em 120px;
27 border-bottom: dotted 2px #f99;
29 /* TODO: Change to direct next element */
30 div.content h2:first-child {
36 border-bottom: dotted 1px #99f;
39 h3.minor, h4.minor, h5.minor {
46 text-decoration: none;
60 background: url('icon.png') no-repeat;
69 /* border: solid 1px red; */
88 background: url("menubg.png") repeat-x scroll 0 -35px #C1D0DB;
91 border: solid 1px black;
92 -moz-border-radius: 12px;
93 -webkit-border-radius: 12px;
94 -khtml-border-radius: 12px;
96 -moz-box-shadow: 0px 1px 10px 0px rgba(0,0,0,0.5);
97 -webkit-box-shadow: 0px 1px 10px 0px rgba(0,0,0,0.5);
98 box-shadow: 0px 1px 10px 0px rgba(0,0,0,0.5);
120 text-decoration: none;
124 border: 1px solid transparent;
127 div.menu li:first-child a {
128 padding: 0.5em 0 !important;
129 font-size: 160% !important;
130 font-weight: normal !important;
131 color: #003 !important;
132 background-color: transparent !important;
133 border: 1px solid transparent !important;
134 text-shadow: #666 1px 1px 3px;
137 div.menu li a:hover {
139 background-color: #eeb6b6;
140 background-color: rgba(255,240,240,0.5);
141 border: 1px solid rgba(0,0,0,0.3);
142 -moz-border-radius: 12px;
143 -webkit-border-radius: 12px;
144 -khtml-border-radius: 12px;
158 div.menu div.logo img {
164 .page_features div.menu a[href="features.html"],
165 .page_screenshots div.menu a[href="screenshots.html"],
166 .page_download div.menu a[href="download.html"],
167 .page_documentation div.menu a[href="documentation.html"],
168 .page_getinvolved div.menu a[href="getinvolved.html"],
169 .page_contact div.menu a[href="contact.html"],
170 .page_report div.menu a[href="report.html"],
171 .page_license div.menu a[href="license.html"] {
173 background-color: transparent;
174 background-color: rgba(255,240,240,0.2);
175 border: 1px solid rgba(0,0,255,0.15);
176 -moz-border-radius: 12px;
177 -webkit-border-radius: 12px;
178 -khtml-border-radius: 12px;
181 .page_features div.menu a[href="features.html"]:hover,
182 .page_screenshots div.menu a[href="screenshots.html"]:hover,
183 .page_download div.menu a[href="download.html"]:hover,
184 .page_documentation div.menu a[href="documentation.html"]:hover,
185 .page_getinvolved div.menu a[href="getinvolved.html"]:hover,
186 .page_contact div.menu a[href="contact.html"]:hover,
187 .page_report div.menu a[href="report.html"]:hover,
188 .page_license div.menu a[href="license.html"]:hover {
190 background-color: #eeb6b6;
191 background-color: rgba(255,240,240,0.5);
192 border: 1px solid rgba(0,0,0,0.3);
193 -moz-border-radius: 12px;
194 -webkit-border-radius: 12px;
195 -khtml-border-radius: 12px;
201 margin: 0em 2em 1em 130px;
202 padding: 2em 2em 2em 95px;
204 background-color: white;
206 *border: 2px solid #666;
209 -moz-border-radius: 7px;
210 -webkit-border-radius: 7px;
213 -moz-box-shadow: 0px 0px 8px 5px white;
214 -webkit-box-shadow: 0px 0px 8px 5px white;
215 box-shadow: 0px 0px 8px 5px white;
220 display: inline-block;
224 border-top: 2px solid #6f2;
225 border-left: 1px solid #4c1;
226 border-right: 1px solid #380;
227 border-bottom: 2px solid #360;
229 background-color: #5c2;
231 -moz-border-radius: 10px;
232 -webkit-border-radius: 10px;
235 background-image: -webkit-gradient(
239 color-stop(0.08, rgb(55,146,14)),
240 color-stop(0.9, rgb(102,221,17))
242 background-image: -moz-linear-gradient(
248 background: -moz-linear-gradient(center bottom , #0B5CE2 30%, #2678FF 65%) repeat scroll 0 0;
287 border: dashed 1px #888;
288 background-color: #ddd;
289 display: inline-block;
326 border: dashed 1px red;
327 background-color: #89cbe0;
332 background-color: #ee9494;
335 background-color: #8fd5eb;
346 list-style-type: none;
354 margin-bottom: 1.4em;
364 border-top: 2px solid #6e2;
365 border-left: 1px solid #4c1;
366 border-right: 1px solid #380;
367 border-bottom: 2px solid #360;
369 -moz-box-shadow: 1px 1px 4px 0px #333;
370 -webkit-box-shadow: 1px 1px 4px 0px #333;
371 box-shadow: 1px 1px 4px 0px #333;
374 background-color: #5c2;
376 -moz-border-radius: 10px;
377 -webkit-border-radius: 10px;
380 background-image: -webkit-gradient(
384 color-stop(0.08, rgb(55,156,14)),
385 color-stop(0.9, rgb(102,221,17))
387 background-image: -moz-linear-gradient(
396 div.downloadbox a.main {
404 font-family: Arial, sans-serif;
407 text-shadow: #666 1px 1px 1px;
409 div.downloadbox a.main span {
412 div.downloadbox a.main:hover {
413 text-shadow: #000 1px 1px 1px;
416 div.downloadbox a strong {
423 div.downloadbox a:hover strong {
424 text-shadow: #666 1px 1px 1px;
428 div.downloadbox .alternative {
434 padding: 0 10px 10px 10px;
436 font-family: Arial, sans-serif;
439 div.downloadbox .alternative a {
442 div.downloadbox .alternative a+a {
445 div.downloadbox .alternative a:hover {
449 .page_index div.downloadbox {
451 margin: 0.5em 0 1em 50px;
465 .rightpane div.downloadbox {
466 margin: 0 auto 2em auto;
468 .rightpane div.screenshot {
473 .rightpane div.support {
478 .page_download div.support {
486 margin: 2em 0 2em 30px;
502 .page_download div.contentholder {
505 .page_download div.news {
506 background-color: white;
512 .page_download div.news h2 {
516 .page_download div.news .date {
519 .page_download div.downloadbox {
527 margin-bottom: 1.5em;
531 background-color: white;
571 font-family: monospace;
572 border: solid 1px #ddd;
573 background-color: #eee;