1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
-----------------------------------------------------------------------------
-- |
-- Module : Haddock.Backends.Html.Themes
-- Copyright : (c) Mark Lentczner 2010
-- License : BSD-like
--
-- Maintainer : haddock@projects.haskell.org
-- Stability : experimental
-- Portability : portable
-----------------------------------------------------------------------------
module Haddock.Backends.Xhtml.Themes (
CssTheme(..),
cssFiles, styleSheet, stylePickers, styleMenu
)
where
import Haddock.Backends.Xhtml.Utils (onclick)
import Haddock.Utils (iconFile)
import Data.List (nub)
import Text.XHtml hiding ( name, title, p, quote )
import qualified Text.XHtml as XHtml
-- Standard set of style sheets, first is the preferred
data CssTheme = CssTheme {
themeName :: String,
themeHref :: String,
themeFiles :: [FilePath]
}
themes :: [CssTheme]
themes = [
CssTheme "Classic" "xhaddock.css" ["xhaddock.css", iconFile],
CssTheme "Tibbe" "thaddock.css" ["thaddock.css", iconFile],
CssTheme "Snappy" "shaddock.css" ["shaddock.css", "s_haskell_icon.gif"],
CssTheme "Nomi" "nhaddock.css" ["nhaddock.css", "hslogo-16.png"]
]
cssFiles :: [String]
cssFiles = nub (concatMap themeFiles themes)
styleSheet :: Html
styleSheet = toHtml $ zipWith mkLink themes rels
where
rels = ("stylesheet" : repeat "alternate stylesheet")
mkLink (CssTheme aTitle aRef _) aRel =
(thelink ! [href aRef, rel aRel, thetype "text/css", XHtml.title aTitle]) noHtml
stylePickers :: [Html]
stylePickers = map mkPicker themes
where
mkPicker (CssTheme aTitle aRef _) =
let js = "setActiveStyleSheet('" ++ aRef ++ "'); return false;" in
anchor ! [href "#", onclick js] << aTitle
styleMenu :: Html
styleMenu = thediv ! [identifier "style-menu-holder"] << [
anchor ! [ href "#", onclick js ] << "Style\9662",
unordList stylePickers ! [ identifier "style-menu", theclass "hide" ]
]
where
js = "styleMenu(); return false;"
|