diff options
Diffstat (limited to 'html')
| -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 8c6bb69b..aa6e13aa 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 : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.125em } +IMG.coll { width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em } /* --------- Documentation elements ---------- */ |