devmanual.css: Drop unused elements.

Most elements of the stylesheet are either not used at all, or they
are superseded by the Bootstrap or Tyrian stylesheets which are loaded
later.

Signed-off-by: Ulrich Müller <ulm@gentoo.org>

1 files changed, 1 insertions, 142 deletions

diff --git a/devmanual.css b/devmanual.css
index 414ad1e..bb89812 100644
--- a/devmanual.css
+++ b/devmanual.css
@@ -1,138 +1,6 @@
-div.header {
-    border-bottom: 3px solid #333333;
-    background-color: #666666;
-    color: #eeeeee;
-    margin: 0em 0em 0em 0em;
-    padding: 0.2em;
-    font-size: 70%;
-}
-
-div.navtop {
-    border-bottom: 1px dashed #333333;
-    text-align: center;
-}
-
-div.navbottom {
-    border-top: 1px dashed #333333;
-    text-align: center;
-    margin-top: 1em;
-}
-
-@media print {
-    div.header {
-        display: none;
-    }
-}
-
-div.header a:link, div.header a:visited,
-div.footer a:link, div.footer a:visited {
-    color: #eeeeee;
-    font-weight: bold;
-    text-decoration: none;
-}
-
-div.header a:hover, div.footer a:hover {
-    color: #eeeeee;
-    font-weight: bold;
-    text-decoration: underline;
-}
-
-div.footer {
-    text-align: center;
-    border-top: 3px solid #333333;
-    background-color: #666666;
-    color: #eeeeee;
-    margin: 0em 0em 0em 0em;
-    padding: 0em 0.2em;
-    font-size: 70%;
-}
-
-@media print {
-    div.footer {
-        display: none;
-    }
-}
-
-div.main {
-    padding: 1em 40px;
-    margin: 0em;
-    background-color: #eeeeee;
-    color: #333333;
-}
-
-body {
-    background-color: #666666;
-    color: #eeeeee;
-    padding: 0em;
-    margin: 0em;
-    font-family: "Verdana", "Arial", "Helvetica", sans-serif;
-}
-
-div.footer * img {
-    border-width: 0px;
-}
-
 th {
     font-weight: bold;
     text-align: left;
-    padding: 0.3em;
-}
-
-th, td {
-    padding-left: 0.3em;
-    padding-right: 0.3em;
-}
-
-div.main a:link, div.main a:visited {
-    color: #000099;
-    text-decoration: none;
-}
-
-div.main a[href]:hover {
-    color: #000099;
-    text-decoration: underline;
-}
-
-div.main pre a:link, div.main pre a:visited {
-    color: #fff0e0;
-    text-decoration: none;
-}
-
-div.main pre a[href]:hover {
-    color: #fff0e0;
-    text-decoration: underline;
-}
-
-code, tt {
-    color: #993333;
-}
-
-div.main p, div.main dd {
-    text-align: justify;
-}
-
-pre {
-    background-color: #1e1e27;
-    color: #cfbfad;
-    padding-top: 3px;
-    padding-bottom: 3px;
-    padding-left: 8px;
-    padding-right: 8px;
-}
-
-div.main h1 {
-    text-align: center;
-}
-
-div.main h2 {
-    text-align: left;
-    border-bottom: 1px dashed #333333;
-    margin-left: -30px;
-}
-
-div.main h3 {
-    text-align: left;
-    margin-left: -30px;
 }
 
 dt {
@@ -149,22 +17,13 @@ div.figure, div.figure p {
     font-weight: bold;
 }
 
-code, pre, tt {
+code, pre {
     font-family: monospace;
     tab-size: 4;
     -o-tab-size: 4;
     -moz-tab-size: 4;
 }
 
-blockquote.epigraph p {
-    font-size: 80%;
-    font-style: italic;
-}
-
-blockquote.epigraph p.attribution {
-    font-style: normal;
-}
-
 td.devbook {
     vertical-align: top;
 }