build style menu in javascript

	moved to javascript, so as to not polute the content with the style menu
	removed menu building code in Themes.hs
	removed onclick in Utils.hs
changed text of button in header from "Source code" to "Source"
	more consistent with links in rest of page

1 files changed, 1 insertions, 22 deletions

diff --git a/src/Haddock/Backends/Xhtml/Themes.hs b/src/Haddock/Backends/Xhtml/Themes.hs
index 512b597c..cbcf10a4 100644
--- a/src/Haddock/Backends/Xhtml/Themes.hs
+++ b/src/Haddock/Backends/Xhtml/Themes.hs
@@ -12,11 +12,10 @@ module Haddock.Backends.Xhtml.Themes (
     Themes,
     getThemes,
 
-    cssFiles, styleSheet, stylePickers, styleMenu
+    cssFiles, styleSheet
     )
     where
 
-import Haddock.Backends.Xhtml.Utils (onclick)
 import Haddock.Options
 
 import Control.Monad (liftM)
@@ -187,26 +186,6 @@ styleSheet ts = toHtml $ zipWith mkLink rels ts
           ]
         << noHtml
 
-
-stylePickers :: Themes -> [Html]
-stylePickers ts = map mkPicker ts
-  where
-    mkPicker t =
-      let js = "setActiveStyleSheet('" ++ themeHref t ++ "'); return false;" in
-      anchor ! [href "#", onclick js] << themeName t
-
-
-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" ]
-  ]
-  where
-    js = "styleMenu(); return false;"
-
-
 --------------------------------------------------------------------------------
 -- * Either Utilities
 --------------------------------------------------------------------------------