aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-04-04 16:23:43 +0000
committersimonmar <unknown>2002-04-04 16:23:43 +0000
commit2b39cd941c80d2603f2480684c45dd31f9256831 (patch)
tree87a4fdb2752c8a99e54e50e45c1bfa8c2bf80577 /html
[haddock @ 2002-04-04 16:23:43 by simonmar]
This is Haddock, my stab at a Haskell documentation tool. It's not quite ready for release yet, but I'm putting it in the repository so others can take a look. It uses a locally modified version of the hssource parser, extended with support for GHC extensions and documentation annotations.
Diffstat (limited to 'html')
-rw-r--r--html/haddock.css111
1 files changed, 111 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css
new file mode 100644
index 00000000..a7c6f76a
--- /dev/null
+++ b/html/haddock.css
@@ -0,0 +1,111 @@
+BODY {
+ background-color: #ffffff;
+ color: #000000
+ }
+
+TD.topbar {
+ background-color: #000099;
+ padding: 5px
+ }
+
+TD.title {
+ color: #ffffff;
+ padding-left: 10px;
+ }
+
+TD.topbut {
+ padding-left: 5px;
+ padding-right: 5px;
+ border-left-width: 1;
+ border-left-color: #ffffff;
+ border-left-style: solid
+ }
+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: 5
+ }
+
+TD.synopsis {
+ padding: 2px;
+ background-color: #f0f0f0;
+ font-family: monospace
+ }
+
+TD.decl {
+ padding: 2px;
+ background-color: #f0f0f0;
+ font-family: monospace
+ }
+
+TD.condecl { padding-left: 10px }
+TD.recfield { padding-left: 20px }
+
+TD.doc {
+ padding-top: 2px;
+ font-family: sans-serif;
+ padding-left: 10px
+ }
+
+TD.cbody {
+ padding-left: 10px
+ }
+
+A:link { color: #0000e0; text-decoration: none }
+A:visited { color: #0000a0 }
+A:hover { background-color: #e0e0ff; text-decoration: none }
+
+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
+ }
+
+TD.section1 {
+ padding-top: 15px;
+ font-family: sans-serif;
+ font-weight: bold;
+ font-size: 150%
+ }
+
+TD.section2 {
+ padding-top: 10px;
+ font-family: sans-serif;
+ font-weight: bold;
+ font-size: 130%
+ }
+
+TD.section3 {
+ padding-top: 5px;
+ font-family: sans-serif;
+ font-weight: bold;
+ font-size: 110%
+ }
+
+TD.section4 {
+ font-family: sans-serif;
+ font-weight: bold;
+ font-size: 100%
+ }