121 lines
4.0 KiB
CSS

body {
color: #181818;
background-color: #E0E4F0;
font: normal 10pt sans-serif;
max-width: 30em;
margin: 25pt;
}
.body h1 {
margin: 2em 0em 0em 0em;
font-size: 14pt;
}
.body h2 {
margin: 1.5em 0em 0em 0em;
font-size: 12pt;
}
.body h3 {
margin: 1em 0em 0em 0em;
font-size: 10pt;
}
.body p, .body ul, .body ol {
margin-top: 0.5em;
}
.body li {
margin-top: 0.5em;
}
a {
text-decoration: none;
}
hr {
margin-top: 3em;
}
.header h1 {
text-align: center;
padding: 0.3em;
border: 1pt solid black;
}
code, pre {
font-family: fixed;
font-style: normal;
font-size: 9pt;
line-height: 9pt;
background-color: #E8ECF8;
}
pre {
padding: 2pt;
}
div.toc {
margin-top: 3em;
line-height: 6pt;
}
.toc ul {
padding-left: 1.6em;
margin: 0em;
line-height: 10pt;
}
.toc li {
margin: 0em;
padding: 0em;
list-style-type: none;
}
.toc a {
color: #091;
}
#page-HISTORY DL DT {
font-weight: bold;
margin-top: 2em;
}
#page-HISTORY DL DD UL {
margin-top: 0pt;
padding-left: 0pt;
}
#main_menu {
margin: 0;
padding: 0;
}
#main_menu li {
margin: 0;
padding: 0;
display: inline;
}
#main_menu a {
padding: 3px 3px 2px 4px;
text-decoration:none;
font:bold 8pt/8pt Arial, Helvetica, sans-serif;
border: 1px solid #000;
}
#main_menu a:link,
#main_menu a:visited {
color: #fff;
background: #777;
}
#main_menu a:hover {
color: #000;
background: #777;
}
#page-README #main_menu-README a,
#page-COPYRIGHT #main_menu-COPYRIGHT a,
#page-userguide #main_menu-userguide a,
#page-HISTORY #main_menu-HISTORY a,
#page-DEVEL #main_menu-DEVEL a {
color: #000;
background: #aaa;
}
#page-README #main_menu-README a:hover,
#page-COPYRIGHT #main_menu-COPYRIGHT a:hover,
#page-userguide #main_menu-userguide a:hover,
#page-HISTORY #main_menu-HISTORY a:hover,
#page-DEVEL #main_menu-DEVEL a:hover {
color: #000;
background: #aaa;
}
#nav a:active {
color: #000;
background: #aaa;
}