2 html,body,div,span,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,a,abbr,acronym,address,code,del,dfn,em,img,q,dl,dt,dd,ol,ul,li,fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td {
10 vertical-align: baseline;
17 font-family: Verdana, Arial, Helvetica, Sans-Serif;
22 h1, h2, h3, h4, h5, h6 { font-family:serif; line-height:1.7; font-weight: bold; }
23 h1 { font-size: 3.0em; text-align: center; }
24 h2 { font-size: 2.2em; text-align: center; }
25 h3 { font-size: 1.7em; }
26 h4 { font-size: 1.5em; }
27 h5 { font-size: 1.3em; }
28 h6 { font-size: 1.1em; }
30 /* Shrink header sizes on thin windows (phones?) */
31 @media all and ( max-width:640px ){
32 h1 { font-size: 2.4em; }
33 h2 { font-size: 1.4em; }
34 h3 { font-size: 1.25em; }
35 h4 { font-size: 1.2em; }
36 h5 { font-size: 1.15em; }
37 h6 { font-size: 1.1em; }
43 a:visited { color: #335024; }
44 a:hover, a:visited:hover { color: #000; }
46 /* Some more Defaults */
50 background-color: #fff;
55 #inner ul, #inner ol {
58 #inner p, #inner pre {
62 font-family: monospace;
63 white-space: pre-wrap; /* css-3 */
64 white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
65 white-space: -pre-wrap; /* Opera 4-6 */
66 white-space: -o-pre-wrap; /* Opera 7 */
67 word-wrap: break-word; /* Internet Explorer 5.5+ */
72 @media all and ( max-width:640px ){ #content { padding:0; } }
80 height: 2em; /* 60px */
82 line-height: 2; /* 60px */
83 background-color: #000;
86 background-color: #1f3c5a; /* For browsers without gradient support */
87 filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#032044', endColorstr='#1f3c5a'); /* IE */
88 background: -webkit-gradient(linear,left top,left bottom,from(#032044),to(#1f3c5a)); /* Webkit */
89 background: -moz-linear-gradient(top, #032044, #1f3c5a); /* Firefox >= 3.6 */
91 @media all and ( max-width:640px ){
93 height: 2.5em; /* 60px */
94 line-height: 2.5; /* 60px */
98 body > #header.fixed {
111 #header, .navigation {
115 /* Outer Container (Positionining) */
123 height: auto !important;
125 background-color: #fff;
130 #outer .left_bar, #outer .right_bar {
134 #outer > .left_bar.display, #outer > .right_bar.display {
140 background-color: #ddd;
142 #outer > .left_bar { left: 0; }
143 #outer > .right_bar { right: 0; }
145 @media all and ( max-width:640px ){
146 #outer > .left_bar.display, #outer > .right_bar.display { display: none; }
153 padding: 0 0 0.5em 0;
157 background-color: #1f3c5a;
167 .navigation li a { color: #fff; }
168 .navigation li a:hover { color: #aaf; }
169 .navigation li a:visited { color: #aaf; }
170 .navigation li a:visited:hover { color: #fff; }
172 #outer > .navigation.fixed {
178 #outer > .navigation.spacer {
183 .navigation li.search, .navigation form {
187 .navigation .search_field_container.roundit .search_field {
192 .navigation .search_field_container.roundit {
193 background-color: #fff;
194 -moz-border-radius: 1em;
195 -webkit-border-radius: 1em;
199 .navigation .search_field_container {
210 padding: 0.71429em 0 1.42857em 0;
212 font-size: 1.4em; /* 14px */
213 line-height: 2; /* 28px */
214 background-color: #fff;
216 /* Remove side padding on thin windows (phones?) */
217 @media all and ( max-width:640px ){
218 #inner { width: auto; }
226 margin: -1.42857em auto 1.42857em auto;
237 height: 1.4em; /* 14px */
240 line-height: 1.4; /* 14px */
249 #footer:hover, #footer:hover a { color: #444; }
250 #footer a:hover { color: #000; }
252 /* Some docbook elements */
254 .docbook_filename, .docbook_emphasis, .docbook_function {
257 .docbook_option, .docbook_command {
261 font-family: monospace;
263 .docbook_literallayout {
264 background-color: #e8e8d0;
266 .docbook_literallayout pre {