diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/haddock.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css index d9d3214f..63ddaf13 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -24,6 +24,11 @@ TABLE.narrow { border-width: 0px; } +TD.s8 { height: 8px; } +TD.s15 { height: 15px; } + +SPAN.keyword { text-decoration: underline; } + /* --------- Documentation elements ---------- */ TD.children { |