diff options
author | simonmar <unknown> | 2002-05-27 12:30:38 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-05-27 12:30:38 +0000 |
commit | 48722e6823e46a17ca789949ecd1a2b8d359ed22 (patch) | |
tree | 4bcbccee4b2eb978a924bb74d91064891102bb3e /html | |
parent | a4e4c5f822416dbe2b8abe34301e8d3e39051bc1 (diff) |
[haddock @ 2002-05-27 12:30:37 by simonmar]
- Put function arguments *before* the doc for the function, as suggested
by Sven Panne. This looks nicer when the function documentation is
long.
- Switch to using bold for binders at the definition site, and use
underline for keywords. This makes the binder stand out more.
Diffstat (limited to 'html')
-rw-r--r-- | html/haddock.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css index d9d3214f..63ddaf13 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -24,6 +24,11 @@ TABLE.narrow { border-width: 0px; } +TD.s8 { height: 8px; } +TD.s15 { height: 15px; } + +SPAN.keyword { text-decoration: underline; } + /* --------- Documentation elements ---------- */ TD.children { |