aboutsummaryrefslogtreecommitdiff
path: root/html/haddock-DEBUG.css
diff options
context:
space:
mode:
authorMark Lentczner <markl@glyphic.com>2010-07-26 00:32:05 +0000
committerMark Lentczner <markl@glyphic.com>2010-07-26 00:32:05 +0000
commit54d85b9ee4c79679875dbb4b98f2eb12f46c606d (patch)
treeee10770a3963b073cb5874cf9563611d437767fa /html/haddock-DEBUG.css
parenta3639ab3529cf25511f944f52b35380527073433 (diff)
reorganize files in the html lib data dir
Diffstat (limited to 'html/haddock-DEBUG.css')
-rw-r--r--html/haddock-DEBUG.css173
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
- }
-