diff options
| author | panne <unknown> | 2004-08-03 20:47:46 +0000 |
|---|---|---|
| committer | panne <unknown> | 2004-08-03 20:47:46 +0000 |
| commit | 4770643a17c988e364c06a88c05349a76360f8a9 (patch) | |
| tree | 19132b2c4466fa021168a0616caf9d4b085c79be /html | |
| parent | 4d6f01d8d6033dbd8111fe83920b0b1af432ae46 (diff) | |
[haddock @ 2004-08-03 20:47:46 by panne]
Fixed CSS for button style. Note that only "0" is a valid measure without a unit!
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 9ecef66d..8c6bb69b 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 : 8; height: 8; margin-bottom: 1; margin-right: 2 } +IMG.coll { width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.125em } /* --------- Documentation elements ---------- */ |