diff options
author | krasimir <unknown> | 2004-07-30 22:15:47 +0000 |
---|---|---|
committer | krasimir <unknown> | 2004-07-30 22:15:47 +0000 |
commit | 64d30b1db8d571bc3b0d8947a81c59b4bd353417 (patch) | |
tree | 960779535be0249a03ef78d71326379180a2e5c6 /html | |
parent | c4fb4881fa80488d9939b52bf333c2ac89fd4c52 (diff) |
[haddock @ 2004-07-30 22:15:45 by krasimir]
more stuffs
- support for separated compilation of packages
- the contents page now uses DHTML TreeView
- fixed copyFile bug
Diffstat (limited to 'html')
-rw-r--r-- | html/haddock.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/haddock.css b/html/haddock.css index 1807a26e..c79f9446 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -36,7 +36,7 @@ TD.s15 { height: 15px; } SPAN.keyword { text-decoration: underline; } /* Resize the buttom image to match the text size */ -IMG.coll { width : 1em; height: 1em; } +IMG.coll { width : 0.5em; height: 0.5em; margin-bottom: 0.125em; margin-right: 0.125em } /* --------- Documentation elements ---------- */ |