191 lines
2.5 KiB
CSS
191 lines
2.5 KiB
CSS
body, html {
|
|
margin: 0;
|
|
padding: 0;
|
|
font-family: "Trebuchet MS", sans-serif;
|
|
font-size: normal;
|
|
background: white;
|
|
color: black;
|
|
}
|
|
|
|
h1, h2, h3, h4, h5, h6 {
|
|
font-family: "Lucida Bright", "Times New Roman", serif;
|
|
}
|
|
|
|
h1 {
|
|
text-align: center;
|
|
font-size: 2em;
|
|
margin-bottom: 1em;
|
|
margin-top: 0;
|
|
}
|
|
|
|
h2, #table-of-contents h1 {
|
|
font-size: 1.5em;
|
|
text-align: left;
|
|
margin: 0.67em 0;
|
|
}
|
|
|
|
h3 {
|
|
font-size: 1.17em;
|
|
margin: 1em 0;
|
|
}
|
|
|
|
h4 {
|
|
font-size: 1em;
|
|
margin: 1.33em 0;
|
|
}
|
|
|
|
.chapter {
|
|
margin-bottom: 5em;
|
|
}
|
|
|
|
p, ul, ol, dl {
|
|
line-height: 1.5em;
|
|
text-align: justify;
|
|
font-size: normal;
|
|
}
|
|
|
|
ul {
|
|
list-style-type: square;
|
|
}
|
|
|
|
dd {
|
|
margin-bottom: 0.5em;
|
|
}
|
|
|
|
table {
|
|
border: 1px solid #aaaaaa;
|
|
border-collapse: collapse;
|
|
margin: 0.5em 0;
|
|
background-color: #f9f9f9;
|
|
line-height: 1.5em;
|
|
}
|
|
|
|
td, th {
|
|
padding: 0.2em;
|
|
border: 1px solid #aaaaaa;
|
|
}
|
|
|
|
th {
|
|
background-color: #f2f2f2;
|
|
}
|
|
|
|
|
|
/*** Code blocks and highlighting**********************************************/
|
|
|
|
pre, tt {
|
|
font-family: "Bitstream Vera Sans Mono", monospace;
|
|
font-size: small;
|
|
}
|
|
|
|
pre {
|
|
font-weight: bold;
|
|
padding: 1em;
|
|
margin: 1em 0;
|
|
line-height: 1.2em;
|
|
background-color: #f6f6f6;
|
|
border: 1px solid #cccccc;
|
|
overflow: auto;
|
|
}
|
|
|
|
pre .default {
|
|
color: #000000;
|
|
}
|
|
|
|
pre .keyword {
|
|
color: #3465a4;
|
|
}
|
|
|
|
pre .string {
|
|
color: #ef2929;
|
|
}
|
|
|
|
pre .comment {
|
|
color: #888a85;
|
|
}
|
|
|
|
a:link {
|
|
color: #3465a4;
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:visited {
|
|
color: #75507b;
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:link:hover,
|
|
a:link:active,
|
|
a:visited:hover,
|
|
a:visited:active {
|
|
text-decoration: underline;
|
|
color: #555753;
|
|
}
|
|
|
|
|
|
#table-of-contents {
|
|
border: 1px solid #cccccc;
|
|
background-color: #f6f6f6;
|
|
padding: 0 1em;
|
|
margin: 0;
|
|
}
|
|
|
|
#wrap {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
#sidebar {
|
|
float: right;
|
|
width: 25%;
|
|
margin: 0;
|
|
padding: 1em;
|
|
}
|
|
|
|
#content {
|
|
margin-right: 25%;
|
|
padding: 1em;
|
|
padding-right: 2em;
|
|
}
|
|
|
|
/** Tree specific styles ******************************************************/
|
|
|
|
ul.tree {
|
|
font-size: 0.9em;
|
|
}
|
|
|
|
ul.tree, ul.tree ul {
|
|
list-style-type: none;
|
|
padding-left: 2em;
|
|
text-align: left;
|
|
margin-left: 0;
|
|
}
|
|
|
|
.tree a {
|
|
text-decoration: none;
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.tree .expander {
|
|
color: black;
|
|
display: block;
|
|
float: left;
|
|
margin: 0;
|
|
margin-left: -1.25em;
|
|
padding: 0;
|
|
text-align: center;
|
|
width: 1em;
|
|
}
|
|
|
|
.tree .expander:link,
|
|
.tree .expander:visited,
|
|
.tree .expander:active,
|
|
.tree .expander:hover {
|
|
color: black;
|
|
text-decoration: none;
|
|
}
|
|
|
|
.tree ul.closed {
|
|
display: none;
|
|
}
|