diff options
author | Mark Lentczner <markl@glyphic.com> | 2010-07-16 04:57:38 +0000 |
---|---|---|
committer | Mark Lentczner <markl@glyphic.com> | 2010-07-16 04:57:38 +0000 |
commit | 7832c8030a203510b89bd13fdc98eaf7279eb172 (patch) | |
tree | 4bf16d4852fd4c2c5f343563c7eb2f6a51e1da4b /src/Haddock/Backends/Xhtml.hs | |
parent | b67678234917d61b8393fa9b75092bfa2c399ab4 (diff) |
fixed package catpion, added style menu
Diffstat (limited to 'src/Haddock/Backends/Xhtml.hs')
-rw-r--r-- | src/Haddock/Backends/Xhtml.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Haddock/Backends/Xhtml.hs b/src/Haddock/Backends/Xhtml.hs index c24dec6a..e204a9da 100644 --- a/src/Haddock/Backends/Xhtml.hs +++ b/src/Haddock/Backends/Xhtml.hs @@ -204,7 +204,7 @@ simpleHeader doctitle maybe_contents_url maybe_index_url wikiButton maybe_wiki_url Nothing, contentsButton maybe_contents_url, indexButton maybe_index_url - ] ++ stylePickers) ! [theclass "links"] + ] ++ [styleMenu]) ! [theclass "links"] ) pageHeader :: String -> Interface -> String @@ -220,7 +220,7 @@ pageHeader mdl iface doctitle wikiButton maybe_wiki_url (Just $ ifaceMod iface), contentsButton maybe_contents_url, indexButton maybe_index_url - ] ++ stylePickers) ! [theclass "links"] + ] ++ [styleMenu]) ! [theclass "links"] ) +++ divModuleHeader << ( sectionName << mdl +++ |