@charset "utf-8";
/* General Fonts */
html, body, div, p {
font-family: DejaVu Sans, Verdana, Arial, sans-serif;
font-size: 12pt;
}
/* Header Size & Spacing */
h1 {
margin-top: 0.1em;
font-size: 200%;
margin-bottom: 0.4em;
}
h2 {
margin-top: 0.5em;
font-size: 150%;
margin-bottom: 0.2em;
}
h3 {
margin-top: 0.5em;
font-size: 135%;
margin-bottom: 0.1em;
}
h4 {
margin-top: 0.5em;
font-size: 120%;
margin-bottom: 0.0em;
}
/* Layout and Color stuff */
/* General page structure */
body {
padding: 0.8em;
margin: 0;
color:#DDD;
background-color:#505050;
}
#frame {
margin: 0 auto;
max-width: calc(50em + 2*11em); /* content width plus 2*navi width */
}
/* The inner box */
#title, #content {
border: solid #121212 1px;
background-color: #252525;
margin: 0 11.0em; /* navi width */
padding: 0;
}
#title {
border-bottom: none;
border-radius: 10px 10px 0px 0px;
}
#title h1 {
border-bottom: solid #08f 2px;
text-align: center;
padding: 0 0.7em;
margin-bottom: 0;
}
#content {
border-top: none;
border-radius: 0px 0px 10px 10px;
display: block;
padding: 0.7em;
padding-top: 1px; /* If we use 0 here, things get ugly. What?!? */
}
/* Navigation menu */
#navi {
/* No border, no padding, so all the width computations become easy. */
float: left;
background-color:#505050;
width: 11.0em; /* navi width */
padding: 0;
margin: 0;
}
#navi ul {
margin: 0px;
padding: 0px;
list-style-type: none;
}
#navi ul ul {
/* Indentation for nested nodes */
margin-left: 1.2em;
}
#navi li {
/* Border around the links */
margin-bottom:0.1em;
background-color: #252525;
border-left: solid #36ff00 2px;
border-right: solid #36ff00 2px;
border-top-left-radius: 10px;
border-bottom-left-radius: 10px;
}
#navi li a {
display: block;
width: 100%;
color: #9ed2ff;
font-size:110%;
text-decoration: none;
text-align: center;
}
#navi li.current
{
border-color: #ffa700;
}
#navi li:hover {
border-color: #08f;
border-radius: 0;
}
#navi li:hover a {
color: #DDD;
}
/* Small screens */
@media screen and (max-width:60em) {
#frame, #title, #content, #navi {
margin: 0;
width: auto;
max-width: none;
clear: both;
}
#navi {
/* Place navi above the title */
float: none;
border: solid #121212 1px;
border-bottom: none;
background-color: #252525;
padding: 0;
}
#navi ul, #navi ul ul, #navi li, #navi li a {
margin: 0;
padding: 0;
display: inline;
}
#navi > ul {
padding: 0.3em;
display: block;
border-bottom: solid #36ff00 2px;
}
/* Display only parent and children, and deocare them appropriately */
#navi li {
display:inline-block;
margin: 0 0.2em;
}
#navi li.sibling {
display:none;
}
#navi li.parent:before, #navi li.current:before {
content: "» ";
}
#navi li.child:before {
content: "» ";
}
#navi li.child + li:before {
content: "| ";
}
#navi li {
border: none;
}
#navi li.current a {
text-decoration: underline;
}
}
/* Printing */
@media print {
#frame, #title, #content {
margin: 0;
padding: 0;
width: auto;
max-width: none;
border: none;
}
#title h1 {
border: none;
}
#navi {
display: none;
}
}
/* RST styling */
article.rst dt {
font-weight: bold;
}
article.rst dd {
margin-bottom: 1em;
}
article.rst a.rst-footnote {
vertical-align: super;
}
article.rst div.rst-footnote {
display: table;
}
article.rst div.rst-footnote > * {
display: table-cell;
}
article.rst div.rst-footnote a {
min-width: 3em;
}
article.rst .rst-literal, article.rst pre {
font-family: monospace;
font-size: 82%;
}
article.rst .rst-literal {
padding: 0.1em 0.2em;
background-color: #505050;
}
article.rst pre {
padding: 0.6em;
background-color: #505050;
}
/* Content styling */
#content p {
margin: 0.5em 0;
line-height: 1.3;
}
#content a {
color:#9ed2ff;
}
#content a:visited {
color:#bfe1ff;
}
#content a:hover {
color:#5089ba;
}