2007-06-14 01:30:32 +04:00
|
|
|
body, html {
|
2007-07-17 17:54:51 +04:00
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2007-08-02 00:17:49 +04:00
|
|
|
font-family: "Bitstream Vera Sans", "Verdana", sans-serif;
|
2007-07-17 17:54:51 +04:00
|
|
|
font-size: medium;
|
2007-06-13 02:18:21 +04:00
|
|
|
background: white;
|
|
|
|
color: black;
|
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
h1, h2, h3, h4, h5, h6 {
|
2007-08-02 00:17:49 +04:00
|
|
|
font-family: "Nimbus Sans L", "Arial", sans-serif;
|
|
|
|
border-bottom: 1px solid #aaaaaa;
|
|
|
|
line-height: 1.5em;
|
|
|
|
padding-bottom: 0.1em;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
h1 {
|
2007-07-17 17:54:51 +04:00
|
|
|
font-size: 2em;
|
|
|
|
margin-bottom: 1em;
|
|
|
|
margin-top: 0;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-29 18:10:15 +04:00
|
|
|
h2 {
|
2007-07-17 17:54:51 +04:00
|
|
|
font-size: 1.5em;
|
|
|
|
text-align: left;
|
|
|
|
margin: 0.67em 0;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
h3 {
|
2007-07-17 17:54:51 +04:00
|
|
|
font-size: 1.17em;
|
|
|
|
margin: 1em 0;
|
2007-06-14 01:30:32 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
h4 {
|
|
|
|
font-size: 1em;
|
|
|
|
margin: 1.33em 0;
|
|
|
|
}
|
|
|
|
|
2007-08-02 00:17:49 +04:00
|
|
|
.chapter + .chapter {
|
|
|
|
margin-top: 3em;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
p, ul, ol, dl {
|
2007-07-17 17:54:51 +04:00
|
|
|
line-height: 1.5em;
|
|
|
|
text-align: justify;
|
2007-08-02 00:17:49 +04:00
|
|
|
font-size: small;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
dd {
|
2007-07-17 17:54:51 +04:00
|
|
|
margin-bottom: 0.5em;
|
2007-06-14 01:30:32 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
table {
|
2007-07-17 17:54:51 +04:00
|
|
|
border: 1px solid #aaaaaa;
|
|
|
|
border-collapse: collapse;
|
|
|
|
margin: 0.5em 0;
|
|
|
|
color: black;
|
|
|
|
background-color: #f9f9f9;
|
|
|
|
line-height: 1.5em;
|
2007-08-02 00:17:49 +04:00
|
|
|
font-size: small;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
td, th {
|
2007-07-17 17:54:51 +04:00
|
|
|
padding: 0.2em;
|
|
|
|
border: 1px solid #aaaaaa;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
th {
|
2007-06-29 18:10:15 +04:00
|
|
|
color: black;
|
2007-07-17 17:54:51 +04:00
|
|
|
background-color: #f2f2f2;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-08-02 00:17:49 +04:00
|
|
|
*:link, *:visited {
|
|
|
|
color: #bb0000;
|
2007-07-17 17:54:51 +04:00
|
|
|
background-color: inherit;
|
|
|
|
text-decoration: none;
|
2007-08-02 00:17:49 +04:00
|
|
|
border-bottom: 1px dotted #bbbbbb;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
2007-08-02 00:17:49 +04:00
|
|
|
*:visited {
|
|
|
|
color: #660000;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
2007-08-02 00:17:49 +04:00
|
|
|
*:link:hover, *:visited:hover {
|
|
|
|
color: #555555;
|
|
|
|
background-color: #eeeeee;
|
|
|
|
text-decoration: none;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
2007-06-13 02:18:21 +04:00
|
|
|
|
2007-08-02 00:17:49 +04:00
|
|
|
h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
|
2007-07-20 12:03:04 +04:00
|
|
|
text-decoration: none !important;
|
|
|
|
color: black !important;
|
2007-08-02 00:17:49 +04:00
|
|
|
border-bottom: none !important;
|
|
|
|
background-color: white !important;
|
2007-07-20 12:03:04 +04:00
|
|
|
}
|
|
|
|
|
2007-08-02 00:17:49 +04:00
|
|
|
|
2007-06-13 02:18:21 +04:00
|
|
|
/*** Code blocks and highlighting**********************************************/
|
|
|
|
|
2007-07-20 12:03:04 +04:00
|
|
|
pre, code, tt {
|
2007-08-02 00:17:49 +04:00
|
|
|
font-family: "Bitstream Vera Sans Mono", "Courier New" monospace;
|
2007-07-17 17:54:51 +04:00
|
|
|
font-size: small;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
pre {
|
2007-07-17 17:54:51 +04:00
|
|
|
font-weight: bold;
|
|
|
|
padding: 1em;
|
|
|
|
margin: 1em 0;
|
|
|
|
line-height: 1.2em;
|
|
|
|
color: black;
|
2007-08-02 00:17:49 +04:00
|
|
|
background-color: #f7f7f7;
|
|
|
|
border: 1px solid #d7d7d7;
|
2007-06-29 18:10:15 +04:00
|
|
|
|
|
|
|
/* Pup's Box Flow Hack, Rev 2 */
|
|
|
|
overflow/**/: auto;
|
|
|
|
\height: 1%;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* This rule applies only to Firefox */
|
|
|
|
pre, x:-moz-any-link {
|
|
|
|
/* overflow: auto causes artefacts */
|
|
|
|
overflow: hidden;
|
|
|
|
|
|
|
|
/* prevents text to be hidden by wrapping it */
|
|
|
|
white-space: -moz-pre-wrap !important;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
pre .default {
|
2007-07-17 17:54:51 +04:00
|
|
|
color: #000000;
|
2007-08-02 00:17:49 +04:00
|
|
|
font-weight: bold;
|
2007-07-17 17:54:51 +04:00
|
|
|
background-color: inherit;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
pre .keyword {
|
2007-08-02 00:17:49 +04:00
|
|
|
color: #778899;
|
|
|
|
font-weight: bold;
|
2007-07-17 17:54:51 +04:00
|
|
|
background-color: inherit;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
pre .string {
|
2007-08-02 00:17:49 +04:00
|
|
|
color: #bb8844;
|
|
|
|
font-weight: normal;
|
2007-07-17 17:54:51 +04:00
|
|
|
background-color: inherit;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-14 01:30:32 +04:00
|
|
|
pre .comment {
|
2007-08-02 00:17:49 +04:00
|
|
|
color: #999988;
|
|
|
|
font-style: italic;
|
|
|
|
font-weight: bold;
|
2007-07-17 17:54:51 +04:00
|
|
|
background-color: inherit;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
2007-06-29 18:10:15 +04:00
|
|
|
/** Page layout ***************************************************************/
|
2007-06-13 02:18:21 +04:00
|
|
|
|
2007-06-29 18:10:15 +04:00
|
|
|
#sidebar {
|
2007-07-17 17:54:51 +04:00
|
|
|
float: right;
|
2007-09-24 01:48:42 +04:00
|
|
|
margin: 1em;
|
|
|
|
padding: 0;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#wrap {
|
2007-07-17 17:54:51 +04:00
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#content {
|
2007-06-29 18:10:15 +04:00
|
|
|
padding: 1em;
|
2007-06-19 23:20:33 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/** Tree specific styles ******************************************************/
|
|
|
|
|
2007-06-13 02:18:21 +04:00
|
|
|
ul.tree, ul.tree ul {
|
|
|
|
list-style-type: none;
|
|
|
|
padding-left: 2em;
|
|
|
|
text-align: left;
|
2007-06-29 18:10:15 +04:00
|
|
|
margin: 0;
|
|
|
|
font-size: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
ul.tree {
|
|
|
|
margin-top: 1em;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.tree a {
|
2007-06-14 01:30:32 +04:00
|
|
|
text-decoration: none;
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2007-06-13 02:18:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.tree .expander {
|
|
|
|
color: black;
|
2007-06-29 18:10:15 +04:00
|
|
|
background-color: inherit;
|
2007-06-13 02:18:21 +04:00
|
|
|
display: block;
|
|
|
|
float: left;
|
2007-06-14 01:30:32 +04:00
|
|
|
margin: 0;
|
2007-08-02 00:17:49 +04:00
|
|
|
border: none;
|
|
|
|
margin-left: -1.5em;
|
2007-06-14 01:30:32 +04:00
|
|
|
padding: 0;
|
2007-06-13 02:18:21 +04:00
|
|
|
text-align: center;
|
|
|
|
width: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.tree .expander:link,
|
|
|
|
.tree .expander:visited,
|
|
|
|
.tree .expander:active,
|
|
|
|
.tree .expander:hover {
|
2007-07-17 17:54:51 +04:00
|
|
|
color: black;
|
|
|
|
background-color: inherit;
|
2007-06-13 02:18:21 +04:00
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.tree ul.closed {
|
|
|
|
display: none;
|
|
|
|
}
|
2007-06-29 18:10:15 +04:00
|
|
|
|
|
|
|
/** Table of Contents *********************************************************/
|
|
|
|
|
|
|
|
#table-of-contents {
|
2007-08-02 00:17:49 +04:00
|
|
|
border: 1px solid #d9d9d3;
|
2007-07-17 17:54:51 +04:00
|
|
|
color: black;
|
2007-08-02 00:17:49 +04:00
|
|
|
background-color: #F7F7F0;
|
2007-07-17 17:54:51 +04:00
|
|
|
padding: 1em;
|
|
|
|
margin: 0;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#table-of-contents p,
|
2007-07-16 22:59:53 +04:00
|
|
|
#table-of-contents ul.tree {
|
2007-08-02 00:17:49 +04:00
|
|
|
font-size: small;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#table-of-contents p {
|
|
|
|
margin-bottom: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
#table-of-contents h1 {
|
|
|
|
display: block;
|
|
|
|
font-size: 1.5em;
|
|
|
|
margin-right: 0.5em;
|
|
|
|
margin-bottom: 0;
|
|
|
|
text-align: left;
|
2007-08-02 00:17:49 +04:00
|
|
|
border: none;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#toc-toggles {
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
text-align: right;
|
2007-08-02 00:17:49 +04:00
|
|
|
font-size: small;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
2007-07-16 22:59:53 +04:00
|
|
|
#toc-toggles a {
|
|
|
|
margin-left: 0.5em;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/** Sticky Table of Contents **************************************************/
|
|
|
|
|
|
|
|
div#wrap.sticky-toc #sidebar {
|
|
|
|
/* Netscape 4, IE 4.x-5.0/Win and other lesser browsers will use this */
|
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
right: 0;
|
|
|
|
bottom: 0;
|
|
|
|
width: 25%;
|
|
|
|
overflow: auto;
|
|
|
|
}
|
|
|
|
|
|
|
|
div#wrap.sticky-toc > #sidebar {
|
2007-08-02 00:17:49 +04:00
|
|
|
/* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+,
|
|
|
|
iCab, ICEbrowser */
|
|
|
|
position: fixed;
|
2007-06-29 18:10:15 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.sticky-toc #content {
|
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
left: 0;
|
|
|
|
right: 25%;
|
|
|
|
padding-right: 2em;
|
|
|
|
}
|