diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/haddock.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css index aa6e13aa..db10f460 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -38,6 +38,21 @@ 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.5em } +/* --------- Contents page ---------- */ + +DIV.node { + padding-left: 3em; +} + +DIV.cnode { + padding-left: 1.75em; +} + +SPAN.pkg { + position: absolute; + left: 50em; +} + /* --------- Documentation elements ---------- */ TD.children { |