aboutsummaryrefslogtreecommitdiff
path: root/html/haddock-DEBUG.css
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-06-03 14:17:49 +0000
committersimonmar <unknown>2002-06-03 14:17:49 +0000
commit9962a0451c663236697ac853e339e96315b21e7f (patch)
tree3dfff973e0b321ea1831074cad0183d11434c1e0 /html/haddock-DEBUG.css
parent466922c82316cecf75a3cc7b31e9331a60c40625 (diff)
[haddock @ 2002-06-03 14:17:49 by simonmar]
A debugging version of the style-sheet, which gives some tables coloured backgrounds so we can see what's going on.
Diffstat (limited to 'html/haddock-DEBUG.css')
-rw-r--r--html/haddock-DEBUG.css173
1 files changed, 173 insertions, 0 deletions
diff --git a/html/haddock-DEBUG.css b/html/haddock-DEBUG.css
new file mode 100644
index 00000000..06f4fc04
--- /dev/null
+++ b/html/haddock-DEBUG.css
@@ -0,0 +1,173 @@
+/* -------- 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
+ }
+