diff options
author | Mark Lentczner <markl@glyphic.com> | 2010-07-26 00:32:05 +0000 |
---|---|---|
committer | Mark Lentczner <markl@glyphic.com> | 2010-07-26 00:32:05 +0000 |
commit | 54d85b9ee4c79679875dbb4b98f2eb12f46c606d (patch) | |
tree | ee10770a3963b073cb5874cf9563611d437767fa /html/haddock-DEBUG.css | |
parent | a3639ab3529cf25511f944f52b35380527073433 (diff) |
reorganize files in the html lib data dir
Diffstat (limited to 'html/haddock-DEBUG.css')
-rw-r--r-- | html/haddock-DEBUG.css | 173 |
1 files changed, 0 insertions, 173 deletions
diff --git a/html/haddock-DEBUG.css b/html/haddock-DEBUG.css deleted file mode 100644 index 06f4fc04..00000000 --- a/html/haddock-DEBUG.css +++ /dev/null @@ -1,173 +0,0 @@ -/* -------- Global things --------- */ - -BODY { - background-color: #ffffff; - color: #000000; - font-family: sans-serif; - } - -A:link { color: #0000e0; text-decoration: none } -A:visited { color: #0000a0; text-decoration: none } -A:hover { background-color: #e0e0ff; text-decoration: none } - -TABLE.vanilla { - width: 100%; - border-width: 0px; - background-color: #ffe0e0; - /* I can't seem to specify cellspacing or cellpadding properly using CSS... */ -} - -TD { - border-width: 0px; -} - -TABLE.narrow { - border-width: 0px; -} - -/* --------- Documentation elements ---------- */ - -TD.children { - padding-left: 25px; - } - -TD.synopsis { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace - } - -TD.decl { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace; - white-space: nowrap; - vertical-align: top; - } - -TD.recfield { padding-left: 20px } - -TD.doc { - padding-top: 2px; - padding-left: 10px; - background-color: #e0ffe0; - } - -TD.ndoc { - padding: 2px; - background-color: #e0ffe0; - } - -TD.rdoc { - padding: 2px; - padding-left: 10px; - background-color: #e0ffe0; - width: 100%; - } - -TD.body { - padding-left: 10px - } - -/* ------- Section Headings ------- */ - -TD.section1 { - padding-top: 15px; - font-weight: bold; - font-size: 150% - } - -TD.section2 { - padding-top: 10px; - font-weight: bold; - font-size: 130% - } - -TD.section3 { - padding-top: 5px; - font-weight: bold; - font-size: 110% - } - -TD.section4 { - font-weight: bold; - font-size: 100% - } - -/* -------------- The title bar at the top of the page */ - -TD.infohead { - color: #ffffff; - font-weight: bold; - padding-right: 10px; - text-align: left; -} - -TD.infoval { - color: #ffffff; - padding-right: 10px; - text-align: left; -} - -TD.topbar { - background-color: #000099; - padding: 5px; -} - -TD.title { - color: #ffffff; - padding-left: 10px; - width: 100% - } - -TD.topbut { - padding-left: 5px; - padding-right: 5px; - border-left-width: 1px; - border-left-color: #ffffff; - border-left-style: solid; - white-space: nowrap; - } - -TD.topbut A:link { - color: #ffffff - } - -TD.topbut A:visited { - color: #ffff00 - } - -TD.topbut A:hover { - background-color: #6060ff; - } - -TD.topbut:hover { - background-color: #6060ff - } - -TD.modulebar { - background-color: #0077dd; - padding: 5px; - border-top-width: 1px; - border-top-color: #ffffff; - border-top-style: solid; - } - -/* --------- The page footer --------- */ - -TD.botbar { - background-color: #000099; - color: #ffffff; - padding: 5px - } -TD.botbar A:link { - color: #ffffff; - text-decoration: underline - } -TD.botbar A:visited { - color: #ffff00 - } -TD.botbar A:hover { - background-color: #6060ff - } - |