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{margin:0;padding:0;border:0;font-weight:inherit;font-style:inherit;font-size:100%;font-family:inherit;vertical-align:baseline;}body{line-height:1.5;}table{border-collapse:separate;border-spacing:0;}caption,th,td{text-align:left;font-weight:normal;}table,td,th{vertical-align:middle;}blockquote:before,blockquote:after,q:before,q:after{content:"";}blockquote,q{quotes:"" "";}a img{border:none;}
8 font-family: Verdana, Arial, Helvetica, Sans-Serif;
13 h1, h2, h3, h4, h5, h6 { font-family:serif; line-height:1.7; font-weight: bold; }
14 h1 { font-size: 3.0em; text-align: center; }
15 h2 { font-size: 2.2em; text-align: center; }
16 h3 { font-size: 1.7em; }
17 h4 { font-size: 1.5em; }
18 h5 { font-size: 1.3em; }
19 h6 { font-size: 1.1em; }
21 /* Shrink header sizes on thin windows (phones?) */
22 @media all and ( max-width:640px ){
23 h1 { font-size: 2.4em; }
24 h2 { font-size: 1.4em; }
25 h3 { font-size: 1.25em; }
26 h4 { font-size: 1.2em; }
27 h5 { font-size: 1.15em; }
28 h6 { font-size: 1.1em; }
34 a:visited { color: #335024; }
35 a:hover, a:visited:hover { color: #000; }
37 /* Some more Defaults */
41 background-color: #fff;
46 #inner ul, #inner ol {
49 #inner p, #inner pre {
53 font-family: monospace;
54 white-space: pre-wrap; /* css-3 */
55 white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
56 white-space: -pre-wrap; /* Opera 4-6 */
57 white-space: -o-pre-wrap; /* Opera 7 */
58 word-wrap: break-word; /* Internet Explorer 5.5+ */
64 @media all and ( max-width:640px ){ #inner > * { padding:0; } }
72 height: 2em; /* 60px */
74 line-height: 2; /* 60px */
75 background-color: #000;
78 background-color: #1f3c5a; /* For browsers without gradient support */
79 filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#032044', endColorstr='#1f3c5a'); /* IE */
80 background: -webkit-gradient(linear,left top,left bottom,from(#032044),to(#1f3c5a)); /* Webkit */
81 background: -moz-linear-gradient(top, #032044, #1f3c5a); /* Firefox >= 3.6 */
83 @media all and ( max-width:640px ){
85 height: 2.5em; /* 60px */
86 line-height: 2.5; /* 60px */
90 body > #header.fixed {
103 #header, .navigation {
107 /* Outer Container (Positionining) */
115 height: auto !important;
117 background-color: #fff;
122 #outer .left_bar, #outer .right_bar {
126 #outer > .left_bar.display, #outer > .right_bar.display {
132 background-color: #ddd;
134 #outer > .left_bar { left: 0; }
135 #outer > .right_bar { right: 0; }
137 @media all and ( max-width:640px ){
138 #outer > .left_bar.display, #outer > .right_bar.display { display: none; }
145 padding: 0 0 0.5em 0;
149 background-color: #1f3c5a;
159 .navigation li a { color: #fff; }
160 .navigation li a:hover { color: #aaf; }
161 .navigation li a:visited { color: #aaf; }
162 .navigation li a:visited:hover { color: #fff; }
164 #outer > .navigation.fixed {
170 #outer > .navigation.spacer {
175 .navigation li.search, .navigation form {
179 .navigation .search_field_container.roundit .search_field {
184 .navigation .search_field_container.roundit {
185 background-color: #fff;
186 -moz-border-radius: 1em;
187 -webkit-border-radius: 1em;
191 .navigation .search_field_container {
202 padding: 0.71429em 0 1.42857em 0;
204 font-size: 1.4em; /* 14px */
205 line-height: 2; /* 28px */
206 background-color: #fff;
208 /* Remove side padding on thin windows (phones?) */
209 @media all and ( max-width:640px ){
210 #inner { width: auto; }
218 margin: -1.42857em auto 1.42857em auto;
229 height: 1.4em; /* 14px */
232 line-height: 1.4; /* 14px */
241 #footer:hover, #footer:hover a { color: #444; }
242 #footer a:hover { color: #000; }
244 /* Some docbook elements */
246 .docbook_filename, .docbook_emphasis, .docbook_function {
249 .docbook_option, .docbook_command {
253 font-family: monospace;
255 .docbook_literallayout {
256 background-color: #e8e8d0;
258 .docbook_literallayout pre {