diff options
Diffstat (limited to 'html/haddock.css')
| -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 1807a26e..c79f9446 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 : 1em; height: 1em; } +IMG.coll { width : 0.5em; height: 0.5em; margin-bottom: 0.125em; margin-right: 0.125em } /* --------- Documentation elements ---------- */ |