From 9e83c54df01ff0de10fc1a6cfc88a6cb93cdec1d Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 10 Apr 2002 10:50:06 +0000
Subject: [haddock @ 2002-04-10 10:50:06 by simonmar] Use explicit 'px' suffix
 on pixel sizes; IE seems to prefer them

---
 html/haddock.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/haddock.css b/html/haddock.css
index 59b98030..36b2d883 100644
--- a/html/haddock.css
+++ b/html/haddock.css
@@ -17,7 +17,7 @@ TD.title {
 TD.topbut {
   padding-left: 5px;
   padding-right: 5px;
-  border-left-width: 1;
+  border-left-width: 1px;
   border-left-color: #ffffff;
   border-left-style: solid
   }
@@ -36,7 +36,7 @@ TD.topbut:hover {
 
 TD.modulebar { 
   background-color: #0077dd;
-  padding: 5
+  padding: 5px
   }
 
 TD.children {
-- 
cgit v1.2.3