+++ /dev/null
-@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;
-}