1 /* Page-specific: index.html */
3 /* header / branding */
8 background: #4A6282 url
('art/bglogo.png') no-repeat center
;
11 font-family: Georgia
, serif
;
17 letter-spacing: 0.2em;
21 font-variant: small-caps
;
22 border-bottom: 1px solid
#B1BBC9;
26 #branding blockquote
{
31 /* center the navigation, adjust margins accordingly */
33 #navigation ol
{text-align: center
;}
34 #navigation li
{margin: 0 0.3em;}
35 #navigation-download {font-weight: bold
;}
52 border-width: 0 0 1em;
70 border-color: #56905C;
79 border-color: #5C7098;
88 border-color: #985c70;
110 padding: 0 0 0 0.5em;
114 background: #70A978 url
('art/dl-arrow.png') no-repeat
;
115 background-position: 10px 100%;
118 #intro-download .dl-box
{
125 #intro-download .dl-box a
{
130 text-decoration: none
;
131 border-bottom: 1px solid
#437048;
134 #intro-download .dl-box
a:hover
{
138 #intro-download .dl-box
.file-type
{
146 padding: 0 1.5em 0 0;
152 text-decoration: none
;
156 #download-others a:hover
{
163 margin: 2em 5% 1em 20em;
174 #filter fieldset
, #filter legend
{
187 .download-button, .compare-button {