X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/ce25c00d60dce89a77d38e44793d9aad561a32dd:/style.css..931546ff862b5b310ecb900e64429ae4f76535d5:/static/gitweb.css

diff --git a/style.css b/style.css
deleted file mode 100644
index d13bd3a..0000000
--- a/style.css
+++ /dev/null
@@ -1,229 +0,0 @@
-@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;
-}