diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/shaddock.css | 22 | ||||
-rw-r--r-- | html/thaddock.css | 26 | ||||
-rw-r--r-- | html/xhaddock.css | 26 |
3 files changed, 67 insertions, 7 deletions
diff --git a/html/shaddock.css b/html/shaddock.css index 4a46dd45..8ab3e57d 100644 --- a/html/shaddock.css +++ b/html/shaddock.css @@ -389,6 +389,24 @@ div.arguments { background-color: #6060ff } + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + font-weight: bold; +} + +#alphabet li { + display: inline; + margin: 0 0.25em; +} + +#alphabet a { + text-decoration: none; +} + #index td { background-color: #f0f0f0; padding-left: 1em; @@ -419,4 +437,8 @@ body#mini { #module-list ul { list-style: none; margin-top: 0.5em; +} + +#module-list .package { + float: right; }
\ No newline at end of file diff --git a/html/thaddock.css b/html/thaddock.css index f09fc546..79b8767a 100644 --- a/html/thaddock.css +++ b/html/thaddock.css @@ -302,6 +302,22 @@ dd { font-size: 80%; } +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; +} + +#alphabet li { + display: inline; + margin: 0 0.25em; +} + +#alphabet a { + text-decoration: none; + font-weight: bold; +} + .module { } @@ -321,16 +337,18 @@ dd { #module-list ul { list-style: none; - margin: 0 0 0 -10px; padding: 0; + margin: 0; } #module-list li { margin: 0; border-top: 1px solid #eaeaea; - padding-top: 2px; - padding-bottom: 2px; - padding-left: 10px; + padding: 2px 0 2px 1.4em; +} + +#module-list li .package { + float: right; } #mini #interface .top, diff --git a/html/xhaddock.css b/html/xhaddock.css index 2fca2aed..695acc43 100644 --- a/html/xhaddock.css +++ b/html/xhaddock.css @@ -195,7 +195,8 @@ dl.info dd { #description .caption, #synopsis .caption, -#module-list .caption { +#module-list .caption, +#index .caption { padding-top: 15px; font-weight: bold; font-size: 150% @@ -387,16 +388,35 @@ td.rdoc p { #module-list ul { list-style: none; - margin-left: 10px; padding-bottom: 15px; + padding-left: 2px; + margin: 0; +} + +#module-list ul ul { + padding-bottom: 0; + padding-left: 20px; } +#module-list li .package { + float: right; +} #mini #module-list .caption { display: none; } #index .caption { - display: none; +} + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; +} + +#alphabet li { + display: inline; + margin: 0 0.2em; } #index .src { |