From 4770643a17c988e364c06a88c05349a76360f8a9 Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Tue, 3 Aug 2004 20:47:46 +0000
Subject: [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!

---
 html/haddock.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

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 ---------- */
 
-- 
cgit v1.2.3