module Text.Highlighting.Kate.Format ( formatAsXHtml, FormatOption (..), defaultHighlightingCss ) where
import Text.Highlighting.Kate.Definitions
import Text.XHtml.Transitional
data FormatOption = OptNumberLines
| OptNumberFrom Int
| OptTitleAttributes
deriving (Eq, Show, Read)
formatAsXHtml :: [FormatOption]
-> String
-> [SourceLine]
-> Html
formatAsXHtml opts lang lines =
let startNum = getStartNum opts
numberOfLines = length lines
code = thecode << map (sourceLineToHtml opts) lines
in if OptNumberLines `elem` opts
then let lnTitle = title "Click to toggle line numbers"
lnOnClick = strAttr "onclick" "with (this.firstChild.style) { display = (display == '') ? 'none' : '' }"
lineNumbers = td ! [theclass "lineNumbers", lnTitle, lnOnClick] $ pre <<
(unlines $ map show [startNum..(startNum + numberOfLines 1)])
sourceCode = td ! [theclass "sourceCode"] $
pre ! [theclass $ unwords ["sourceCode", lang]] $ code
in table ! [theclass "sourceCode"] $ tr << [lineNumbers, sourceCode]
else pre ! [theclass $ unwords ["sourceCode", lang]] $ code
labeledSourceToHtml :: [FormatOption] -> LabeledSource -> Html
labeledSourceToHtml opts (syntaxType, txt) =
let classes = unwords $ filter (/= "") $ map removeSpaces syntaxType
in if null classes
then toHtml txt
else let attribs = [theclass classes] ++
if OptTitleAttributes `elem` opts
then [title classes]
else []
in thespan ! attribs << txt
sourceLineToHtml :: [FormatOption] -> SourceLine -> Html
sourceLineToHtml opts contents =
concatHtml $ (map (labeledSourceToHtml opts) contents) ++ [br]
removeSpaces :: String -> String
removeSpaces = filter (/= ' ')
getStartNum :: [FormatOption] -> Int
getStartNum [] = 1
getStartNum (OptNumberFrom n : _) = n
getStartNum (_:xs) = getStartNum xs
defaultHighlightingCss :: String
defaultHighlightingCss =
"table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre \n\
\ { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }\n\
\td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }\n\
\td.sourceCode { padding-left: 5px; }\n\
\pre.sourceCode { }\n\
\pre.sourceCode span.Normal { }\n\
\pre.sourceCode span.Keyword { color: #007020; font-weight: bold; } \n\
\pre.sourceCode span.DataType { color: #902000; }\n\
\pre.sourceCode span.DecVal { color: #40a070; }\n\
\pre.sourceCode span.BaseN { color: #40a070; }\n\
\pre.sourceCode span.Float { color: #40a070; }\n\
\pre.sourceCode span.Char { color: #4070a0; }\n\
\pre.sourceCode span.String { color: #4070a0; }\n\
\pre.sourceCode span.Comment { color: #60a0b0; font-style: italic; }\n\
\pre.sourceCode span.Others { color: #007020; }\n\
\pre.sourceCode span.Alert { color: red; font-weight: bold; }\n\
\pre.sourceCode span.Function { color: #06287e; }\n\
\pre.sourceCode span.RegionMarker { }\n\
\pre.sourceCode span.Error { color: red; font-weight: bold; }"