diff options
Diffstat (limited to 'html/haddock.css')
| -rw-r--r-- | html/haddock.css | 3 |
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 ---------- */ |