[haddock @ 2004-07-01 11:08:57 by simonmar]

Update to the +/- buttons: use a resized image rather than a <button>.
Still seeing some strange effects in Konqueror, so might need to use a
fixed-size image instead.

1 files changed, 2 insertions, 1 deletions

diff --git a/html/haddock.css b/html/haddock.css
index b853bf76..1807a26e 100644
--- a/html/haddock.css
+++ b/html/haddock.css
@@ -35,7 +35,8 @@ TD.s15 {  height: 15px; }
 
 SPAN.keyword { text-decoration: underline; }
 
-BUTTON.coll { width : 2em; }
+/* Resize the buttom image to match the text size */
+IMG.coll { width : 1em; height: 1em; }
 
 /* --------- Documentation elements ---------- */