diff options
| -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 ---------- */ |