diff options
author | Mark Lentczner <markl@glyphic.com> | 2010-07-29 01:12:46 +0000 |
---|---|---|
committer | Mark Lentczner <markl@glyphic.com> | 2010-07-29 01:12:46 +0000 |
commit | e998ed04e53f295715251be764457ff4eec4ae9f (patch) | |
tree | 15276361d0059c57bc11c253149b5d98d1f90bce /src/Haddock | |
parent | 842fce48a293a2775714dcb444c67310e150cd9b (diff) |
styling tweaks
don't generate an empty li for absent style menu in links area
update css for Classic and Snappy to handle:
dl lists
links in package header and in declarations
floating of links and info block in package and module headers
Diffstat (limited to 'src/Haddock')
-rw-r--r-- | src/Haddock/Backends/Xhtml.hs | 4 | ||||
-rw-r--r-- | src/Haddock/Backends/Xhtml/Themes.hs | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/Haddock/Backends/Xhtml.hs b/src/Haddock/Backends/Xhtml.hs index 6fc0ffeb..eb06e499 100644 --- a/src/Haddock/Backends/Xhtml.hs +++ b/src/Haddock/Backends/Xhtml.hs @@ -171,8 +171,8 @@ bodyHtml doctitle iface themes srcButton maybe_source_url iface, wikiButton maybe_wiki_url (ifaceMod `fmap` iface), contentsButton maybe_contents_url, - indexButton maybe_index_url - ] ++ [styleMenu themes]) ! [theclass "links"], + indexButton maybe_index_url, + styleMenu themes]) ! [theclass "links"], nonEmpty sectionName << doctitle ], divContent << pageContent, diff --git a/src/Haddock/Backends/Xhtml/Themes.hs b/src/Haddock/Backends/Xhtml/Themes.hs index 414feec0..512b597c 100644 --- a/src/Haddock/Backends/Xhtml/Themes.hs +++ b/src/Haddock/Backends/Xhtml/Themes.hs @@ -196,10 +196,10 @@ stylePickers ts = map mkPicker ts anchor ! [href "#", onclick js] << themeName t -styleMenu :: Themes -> Html -styleMenu [] = noHtml -styleMenu [_] = noHtml -styleMenu ts = thediv ! [identifier "style-menu-holder"] << [ +styleMenu :: Themes -> Maybe Html +styleMenu [] = Nothing +styleMenu [_] = Nothing +styleMenu ts = Just $ thediv ! [identifier "style-menu-holder"] << [ anchor ! [ href "#", onclick js ] << "Style \9662", unordList (stylePickers ts) ! [ identifier "style-menu", theclass "hide" ] ] |