diff options
author | Ulrich Müller <ulm@gentoo.org> | 2020-01-08 18:30:19 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2020-01-14 09:13:26 +0100 |
commit | 29d74e3951ad9acd000c6671a437e2fee5c440d0 (patch) | |
tree | c681f6534fb0d9431d46e076eaac7ca49549b7a1 /devmanual.css | |
parent | appendices/editor-configuration: Drop outdated to-do item. (diff) | |
download | devmanual-29d74e3951ad9acd000c6671a437e2fee5c440d0.tar.gz devmanual-29d74e3951ad9acd000c6671a437e2fee5c440d0.tar.bz2 devmanual-29d74e3951ad9acd000c6671a437e2fee5c440d0.zip |
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>
Diffstat (limited to 'devmanual.css')
-rw-r--r-- | devmanual.css | 143 |
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; } |