4 body, h1, h2, h3, h4, h5, h6, pre, li, div {
9 background-color: white;
11 font-family:
"liberation sans",
"Myriad ",
"Bitstream Vera Sans",
"Lucida Grande",
"Luxi Sans",
"Trebuchet MS", helvetica, verdana, arial, sans-serif;
22 body.desktop .book
> .toc {
31 background-color:#EEEEEE;
39 .toc .chapter, .toc .appendix {
62 p, div.para, div.formalpara {
76 border-bottom:
1px dotted ;
82 border-bottom:
1px dotted ;
96 h1, h2, h3, h4, h5, h6 {
100 background-color: transparent;
107 .titlepage h1.title {
113 .book
> .titlepage h1.title {
117 .article
> .titlepage h1.title {
121 .set .titlepage
> div
> div
> h1.title {
135 .titlepage .corpauthor {
153 h2.subtitle, h3.subtitle {
160 .preface
> div
> div
> div
> h2.title {
205 border-collapse: collapse;
207 border-top:
1px dotted #ccc;
213 ul.languages, .languages li {
220 text-decoration: none;
223 .languages li p, .languages li div.para {
227 .languages li a:link, .languages li a:visited {
231 .languages li a:hover, .languages li a:focus, .languages li a:active {
237 background-color:#eee;
241 /*supporting stylesheets*/
243 /*unique to the webpage only*/
256 text-decoration:none;
259 padding:
1em
0em
.2em
0em;
268 a.version:visited, a.version:link {
272 a.version:focus, a.version:hover {
303 .books .pdf:link, .books .pdf:visited {
307 .books .pdf:hover, .books .pdf:focus {
312 text-decoration:none;
341 background-color:transparent;
345 border-collapse:collapse;
353 border-top:
1px solid #fff;
357 .revhistory .simplelist td {
361 .revhistory .simplelist {
362 margin-bottom:
1.5em;
366 .revhistory table th {
398 .revhistory .author {
423 border-bottom:
1px dotted #ccc;
427 border-bottom:
1px dotted #ccc;
434 .answer .data, .question .data {
438 .answer label, .question label {
447 list-style-type: circle;
451 list-style-type: circle;
455 list-style-image:none;
456 list-style-type: decimal;
460 list-style-type: lower-alpha;
464 list-style-type: decimal;
468 list-style-type: lower-alpha;
472 list-style-type: lower-roman;
476 list-style-type: upper-alpha;
480 list-style-type: upper-roman;
516 .inlinemediaobject, .inlinemediaobject img {
534 background-color:#
900;
537 text-transform:uppercase;
553 /*user interface styles*/
554 .screen .replaceable {
557 .guibutton, .guilabel {
558 font-family:
"liberation mono",
"bitstream vera mono",
"dejavu mono", monospace;
564 background-color: #ffffff;
565 border-left:
3px solid #aaaaaa;
567 padding-bottom:
0.1em;
576 background-color: #ffffff;
579 .example-contents .para {
583 /*terminal/console text*/
586 font-family:
"liberation mono",
"bitstream vera mono",
"dejavu mono", monospace;
591 font-family:
"liberation mono",
"bitstream vera mono",
"dejavu mono", monospace;
595 .command, .filename, .keycap, .classname, .literal {
596 font-family:
"liberation mono",
"bitstream vera mono",
"dejavu mono", monospace;
602 font-weight: inherit;
606 font-family:
"liberation mono",
"bitstream vera mono",
"dejavu mono", monospace;
608 background-color: #f5f5f5;
610 border:
1px solid #aaaaaa;
611 margin-bottom:
0.3em;
613 white-space: pre-wrap; /* css-
3 */
614 white-space: -moz-pre-wrap !important; /* Mozilla, since
1999 */
615 white-space: -pre-wrap; /* Opera
4-
6 */
616 white-space: -o-pre-wrap; /* Opera
7 */
617 word-wrap: break-word; /* Internet Explorer
5.5+ */
626 font-family:
"liberation mono",
"bitstream vera mono",
"dejavu mono", monospace;
633 white-space: pre-wrap; /* css-
3 */
634 white-space: -moz-pre-wrap !important; /* Mozilla, since
1999 */
635 white-space: -pre-wrap; /* Opera
4-
6 */
636 white-space: -o-pre-wrap; /* Opera
7 */
637 word-wrap: break-word; /* Internet Explorer
5.5+ */
641 div.warning, div.note, div.important {
646 background-color: white;
649 border-left:
2px solid #aaaaaa;
652 div.warning h2, div.note h2,div.important h2 {
664 div.admonition_header {
675 div.warning p, div.warning div.para,
676 div.note p, div.note div.para,
677 div.important p, div.important div.para {
684 border-left:
1px solid #aaaaaa;
685 border-right:
1px solid #aaaaaa;
692 background-color: #eeeeec;
693 -moz-border-radius:
0px;
694 -webkit-border-radius:
0px;
731 border:
1px solid #
6c614b;
733 border-collapse:collapse;
736 table.simplelist, .calloutlist table {
742 background-color:#
6699cc;
752 background-color:#f5f5f5;
755 table th p:first-child, table td p:first-child, table li p:first-child,
756 table th div.para:first-child, table td div.para:first-child, table li div.para:first-child {
765 border:
1px solid #
000;
768 .simplelist th, .simplelist td {
773 border-bottom:
1px dotted #aaa;
774 background-color:white;
779 border:
1px solid white;
790 .lbname, .lbtype, .lbdescr, .lbdriver, .lbhost {
793 background-color:#
999;
835 table.simplelist td, .calloutlist table td {
840 #breadcrumbs ul li.first:before {
865 #breadcrumbs ul li:before {
866 content:
"\0020 \0020 \0020 \00BB \0020";
895 .index dl dl dt:before {
929 .footnote sup a:link,
930 .footnote sup a:visited {
932 text-decoration:none;
935 .footnote:hover sup a {
936 text-decoration:none;
939 .footnote p,.footnote div.para {
944 .footnote a:visited {
960 div.note .replaceable,
961 div.important .replaceable,
962 div.warning .replaceable,
964 div.important .keycap,
969 ul li p:last-child, ul li div.para:last-child {
975 /* Dirty EVIL Mozilla hack for round corners */
977 -moz-border-radius:
11px;
978 -webkit-border-radius:
11px;
983 -moz-border-radius:
0px;
984 -webkit-border-radius:
0px;
988 .package, .citetitle {
992 .titlepage .edition {
994 background-color: transparent;
1003 background-color: #ff00ff;
1007 font-style: inherit;
1023 dt .inlinemediaobject, dt object {
1038 padding-bottom:
0em;
1040 padding-left:
1.3em;
1045 padding-bottom:
0em;
1052 text-decoration: line-through;
1056 text-decoration: underline;
1059 .calloutlist img, .callout {
1064 vertical-align: middle;
1068 list-style-image: none;
1069 list-style-type: none;
1100 border:
1px solid #
3c6eb4;
1104 background-color:#
3c6eb4;
1109 background-color:#f5f5f5;
1112 .revhistory table th {
1116 .titlepage .edition {