Commit c643385f authored by jepso's avatar jepso

Updated manual style.

parent af8ca167
body, html {
margin: 0;
padding: 0;
font-family: "Trebuchet MS", sans-serif;
font-family: "Bitstream Vera Sans", "Verdana", sans-serif;
font-size: medium;
background: white;
color: black;
}
h1, h2, h3, h4, h5, h6 {
font-family: "Lucida Bright", "Times New Roman", serif;
font-family: "Nimbus Sans L", "Arial", sans-serif;
border-bottom: 1px solid #aaaaaa;
line-height: 1.5em;
padding-bottom: 0.1em;
}
h1 {
text-align: center;
font-size: 2em;
margin-bottom: 1em;
margin-top: 0;
......@@ -34,18 +36,14 @@ h4 {
margin: 1.33em 0;
}
.chapter {
margin-bottom: 5em;
.chapter + .chapter {
margin-top: 3em;
}
p, ul, ol, dl {
line-height: 1.5em;
text-align: justify;
font-size: medium;
}
ul {
list-style-type: square;
font-size: small;
}
dd {
......@@ -59,6 +57,7 @@ table {
color: black;
background-color: #f9f9f9;
line-height: 1.5em;
font-size: small;
}
td, th {
......@@ -71,41 +70,35 @@ th {
background-color: #f2f2f2;
}
a:link {
color: #3465a4;
*:link, *:visited {
color: #bb0000;
background-color: inherit;
text-decoration: none;
border-bottom: 1px dotted #bbbbbb;
}
a:visited {
color: #75507b;
background-color: inherit;
text-decoration: none;
*:visited {
color: #660000;
}
a:link:hover,
a:link:active,
a:visited:hover,
a:visited:active {
text-decoration: underline;
color: #555753;
background-color: inherit;
*:link:hover, *:visited:hover {
color: #555555;
background-color: #eeeeee;
text-decoration: none;
}
h1 a:link, h1 a:visited,
h2 a:link, h2 a:visited,
h3 a:link, h3 a:visited,
h4 a:link, h4 a:visited,
h5 a:link, h5 a:visited,
h6 a:link, h6 a:visited {
h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
text-decoration: none !important;
color: black !important;
border-bottom: none !important;
background-color: white !important;
}
/*** Code blocks and highlighting**********************************************/
pre, code, tt {
font-family: "Bitstream Vera Sans Mono", monospace;
font-family: "Bitstream Vera Sans Mono", "Courier New" monospace;
font-size: small;
}
......@@ -115,8 +108,8 @@ pre {
margin: 1em 0;
line-height: 1.2em;
color: black;
background-color: #f6f6f6;
border: 1px solid #cccccc;
background-color: #f7f7f7;
border: 1px solid #d7d7d7;
/* Pup's Box Flow Hack, Rev 2 */
overflow/**/: auto;
......@@ -134,21 +127,26 @@ pre, x:-moz-any-link {
pre .default {
color: #000000;
font-weight: bold;
background-color: inherit;
}
pre .keyword {
color: #3465a4;
color: #778899;
font-weight: bold;
background-color: inherit;
}
pre .string {
color: #ef2929;
color: #bb8844;
font-weight: normal;
background-color: inherit;
}
pre .comment {
color: #888a85;
color: #999988;
font-style: italic;
font-weight: bold;
background-color: inherit;
}
......@@ -156,8 +154,8 @@ pre .comment {
#sidebar {
float: right;
margin: 1em;
padding: 0;
margin: 0;
padding: 1em;
}
#wrap {
......@@ -195,7 +193,8 @@ ul.tree {
display: block;
float: left;
margin: 0;
margin-left: -1.25em;
border: none;
margin-left: -1.5em;
padding: 0;
text-align: center;
width: 1em;
......@@ -217,16 +216,16 @@ ul.tree {
/** Table of Contents *********************************************************/
#table-of-contents {
border: 1px solid #cccccc;
border: 1px solid #d9d9d3;
color: black;
background-color: #f6f6f6;
background-color: #F7F7F0;
padding: 1em;
margin: 0;
}
#table-of-contents p,
#table-of-contents ul.tree {
font-size: 0.9em;
font-size: small;
}
#table-of-contents p {
......@@ -239,13 +238,14 @@ ul.tree {
margin-right: 0.5em;
margin-bottom: 0;
text-align: left;
border: none;
}
#toc-toggles {
margin: 0;
padding: 0;
text-align: right;
font-size: 0.9em;
font-size: small;
}
#toc-toggles a {
......@@ -265,9 +265,9 @@ div#wrap.sticky-toc #sidebar {
}
div#wrap.sticky-toc > #sidebar {
/* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+,
iCab, ICEbrowser */
position: fixed;
/* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+,
iCab, ICEbrowser */
position: fixed;
}
.sticky-toc #content {
......
......@@ -46,7 +46,7 @@
}
html, body {
font-family: "Arial", sans-serif;
font-family: "Helvetica", "Arial", sans-serif;
font-size: 11pt;
padding: 0;
margin: 0;
......@@ -57,7 +57,6 @@ html, body {
}
h1, h2, h3, h4, h5, h6 {
font-family: "Lucida Bright", serif;
page-break-after: avoid;
}
......@@ -75,11 +74,15 @@ ul {
list-style-type: square;
}
pre, tt {
tt {
font-family: "Bitstream Vera Sans Mono", monospace;
font-size: 10pt;
}
pre {
background-color: #eeeeee;
}
table {
border: thin solid black;
border-collapse: collapse;
......@@ -100,12 +103,8 @@ a {
color: inherit;
}
#table-of-contents {
display: none;
}
.one-page#table-of-contents {
display: block;
#toc-toggles {
display: none;
}
#table-of-contents ul {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment