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; */
87 background: #c1d0db url(menubg.png) repeat-x;
89 border: solid 1px black;
90 -moz-border-radius: 12px;
91 -webkit-border-radius: 12px;
92 -khtml-border-radius: 12px;
115 text-decoration: none;
119 border: 1px solid transparent;
122 div.menu li:first-child a {
123 padding: 0.5em 0 !important;
124 font-size: 160% !important;
125 font-weight: normal !important;
126 color: #003 !important;
127 background-color: transparent !important;
128 border: 1px solid transparent !important;
129 text-shadow: #666 1px 1px 3px;
132 div.menu li a:hover {
134 background-color: #eeb6b6;
135 background-color: rgba(255,240,240,0.5);
136 border: 1px solid rgba(0,0,0,0.3);
137 -moz-border-radius: 12px;
138 -webkit-border-radius: 12px;
139 -khtml-border-radius: 12px;
153 div.menu div.logo img {
159 .page_features div.menu a[href="features.html"],
160 .page_screenshots div.menu a[href="screenshots.html"],
161 .page_download div.menu a[href="download.html"],
162 .page_documentation div.menu a[href="documentation.html"],
163 .page_getinvolved div.menu a[href="getinvolved.html"],
164 .page_contact div.menu a[href="contact.html"],
165 .page_report div.menu a[href="report.html"],
166 .page_license div.menu a[href="license.html"] {
168 background-color: transparent;
169 background-color: rgba(255,240,240,0.2);
170 border: 1px solid rgba(0,0,255,0.15);
171 -moz-border-radius: 12px;
172 -webkit-border-radius: 12px;
173 -khtml-border-radius: 12px;
176 .page_features div.menu a[href="features.html"]:hover,
177 .page_screenshots div.menu a[href="screenshots.html"]:hover,
178 .page_download div.menu a[href="download.html"]:hover,
179 .page_documentation div.menu a[href="documentation.html"]:hover,
180 .page_getinvolved div.menu a[href="getinvolved.html"]:hover,
181 .page_contact div.menu a[href="contact.html"]:hover,
182 .page_report div.menu a[href="report.html"]:hover,
183 .page_license div.menu a[href="license.html"]:hover {
185 background-color: #eeb6b6;
186 background-color: rgba(255,240,240,0.5);
187 border: 1px solid rgba(0,0,0,0.3);
188 -moz-border-radius: 12px;
189 -webkit-border-radius: 12px;
190 -khtml-border-radius: 12px;
196 margin: 0em 2em 1em 130px;
197 padding: 2em 2em 2em 80px;
199 background-color: white;
201 border: 2px solid #666;
206 .content div.tl, .content div.tr, .content div.bl, .content div.br {
210 background: url('whitebox.png') no-repeat;
215 background-position: 0px 0px;
220 background-position: -50px 0px;
225 background-position: 0px -50px;
230 background-position: -50px -50px;
233 .content div.t, .content div.b {
238 background: url('whitebox-vertical.png') repeat-x;
245 background-position: 0px -50px;
248 .content div.l, .content div.r {
253 background: url('whitebox-horizontal.png') repeat-y;
260 background-position: -50px 0px;
298 border: dashed 1px #888;
299 background-color: #ddd;
300 display: inline-block;
332 border: dashed 1px red;
333 background-color: #89cbe0;
338 background-color: #ee9494;
341 background-color: #8fd5eb;
352 list-style-type: none;
360 margin-bottom: 1.4em;
368 background: transparent url('greenbox.png') no-repeat;
372 div.downloadbox a.main {
380 font-family: Arial, sans-serif;
383 text-shadow: #666 1px 1px 1px;
385 div.downloadbox a.main span {
388 div.downloadbox a.main:hover {
389 text-shadow: #000 1px 1px 1px;
392 div.downloadbox a strong {
399 div.downloadbox a:hover strong {
400 text-shadow: #666 1px 1px 1px;
404 div.downloadbox .alternative {
410 padding: 0 10px 10px 10px;
412 font-family: Arial, sans-serif;
415 div.downloadbox .alternative a {
418 div.downloadbox .alternative a+a {
421 div.downloadbox .alternative a:hover {
425 .page_index div.downloadbox {
427 margin: 0.5em 0 1em 50px;
441 .rightpane div.downloadbox {
442 margin: 0 auto 2em auto;
444 .rightpane div.screenshot {
449 .rightpane div.support {
454 .page_download div.support {
462 margin: 2em 0 2em 30px;
478 .page_download div.contentholder {
481 .page_download div.news {
482 background-color: white;
488 .page_download div.news h2 {
492 .page_download div.news .date {
495 .page_download div.downloadbox {
503 margin-bottom: 1.5em;
507 background-color: white;
547 font-family: monospace;
548 border: solid 1px #ddd;
549 background-color: #eee;