diff options
Diffstat (limited to 'html/haddock.css')
| -rw-r--r-- | html/haddock.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css index 927d1ecd..b853bf76 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -35,6 +35,8 @@ TD.s15 { height: 15px; } SPAN.keyword { text-decoration: underline; } +BUTTON.coll { width : 2em; } + /* --------- Documentation elements ---------- */ TD.children { |