aboutsummaryrefslogtreecommitdiff
path: root/src/Haddock
diff options
context:
space:
mode:
authorMark Lentczner <markl@glyphic.com>2010-07-29 01:12:46 +0000
committerMark Lentczner <markl@glyphic.com>2010-07-29 01:12:46 +0000
commite998ed04e53f295715251be764457ff4eec4ae9f (patch)
tree15276361d0059c57bc11c253149b5d98d1f90bce /src/Haddock
parent842fce48a293a2775714dcb444c67310e150cd9b (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.hs4
-rw-r--r--src/Haddock/Backends/Xhtml/Themes.hs8
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" ]
]