3 <style type="text/css">
5 body, .article, .titlepage, .toc, .section, .appendix, .glossary {
6 font-family: Verdana, Helvetica, Lucida, Arial;
14 font-family: Verdana, Helvetica, Lucida, Arial;
21 font-family: Verdana, Helvetica, Lucida, Arial;
28 /* Author related stuff */
31 font-family: Verdana, Helvetica, Lucida, Arial;
36 border-left-style: dotted;
38 border-color: #ff9933;
43 font-family: Verdana, Helvetica, Lucida, Arial;
50 font-family: Verdana, Helvetica, Lucida, Arial;
58 /* Table of Contents rendering */
61 font-family: Verdana, Helvetica, Lucida, Arial;
68 font-family: Verdana, Helvetica, Lucida, Arial;
74 font-family: Verdana, Helvetica, Lucida, Arial;
81 font-family: Verdana, Helvetica, Lucida, Arial;
87 font-family: Verdana, Helvetica, Lucida, Arial;
94 font-family: Verdana, Helvetica, Lucida, Arial;
103 /* Section and appendix stuff */
105 .section, .appendix, .glossary {
106 font-family: Verdana, Helvetica, Lucida, Arial;
115 /* Nested sections */
116 .section .section, .appendix .appendix {
122 .section .titlepage .title, .appendix .title, .glossary .title {
123 font-family: Verdana, Helvetica, Lucida, Arial;
127 border-top-style: dotted;
129 border-color: #6565FF;
133 .section .section .titlepage .title {
134 font-family: Verdana, Helvetica, Lucida, Arial;
138 border-top-style: dotted;
140 border-color: #6565FF;
144 font-family: Verdana, Helvetica, Lucida, Arial;
152 /* Tips, warnings, etc */
154 .note p, .tip p, .important p, .warning p, .caution p {
161 /* Tables, examples and screens rendering */
163 .table .title, .example .title, .figure .title {
164 font-family: Verdana, Helvetica, Lucida, Arial;
177 background-color: #FFF7EA;
181 font-family: Tahoma, Verdana, Helvetica, Lucida, Arial;
185 border-bottom-width: 2pt;
187 border-color: #6565FF;
191 font-family: Tahoma, Verdana, Helvetica, Lucida, Arial;
195 border-bottom-width: 1pt;
197 /*background: #FFF7EA;*/
200 .table table td .strong em {
201 font-family: Tahoma, Verdana, Helvetica, Lucida, Arial;
206 .programlisting, .screen {
207 font-family: lucidatypewriter, lucida console, courier, tahoma;
210 background-color: #FFF7EA;
213 border-color: #CCCCCC;
222 /* Inline elements rendering */
234 font-family: Verdana, Helvetica, Lucida, Arial;
239 .filename, .envar, tt {
240 font-family: lucidatypewriter, lucida console, courier, tahoma;
242 /* font-size: 10px; */
246 text-decoration: none;
255 text-decoration: none;
260 text-decoration: underline;
268 border-color: #6565FF;
272 list-style-image: url(images/img_arrow.png);