\begin{code}
+-- Copyright 2008 the Contributors, as shown in the revision logs.
+-- Licensed under the Apache Public Source License 2.0 ("the License").
+-- You may not use this file except in compliance with the License.
+
module Html
where
import Edu_Berkeley_Sbp_Haskell_SBP
" a:hover { text-decoration: none; border-bottom:1px solid; }\n"++
" table.footer { border-top: silver solid 1px; }\n"++
" span.signature { color: #bbb; }\n"++
- " .signature a:link { color: #bbb; }\n"++
- " .signature a:visited { color: #bbb; }\n"++
+ " .signature a:link { color: #aaf; }\n"++
+ " .signature a:visited { color: #faa; }\n"++
" .signature a:hover { color: blue; border-bottom: 1px solid blue; }\n"++
" span.highlight { background: yellow; color: black; padding: 3px }\n"++
" div.pre {\n"++
" text-align: left;\n"++
" font-family: monospace;\n"++
- " border-style: solid;\n"++
+ " border-style: none;\n"++
" border-width: 2px 2px 2px 2px;\n"++
" border-color: #6666aa;\n"++
" color: #FFFFFF;\n"++
- " background-color: #000000;\n"++
+ " background-color: #333333;\n"++
" margin-right: 25px;\n"++
" margin-left: 25px;\n"++
" padding: 10px;\n"++
toHtml (Quotes x) = "“"++(toHtml x)++"”"
toHtml (Verbatim x) = pre x
toHtml (Link t ref) = link (show ref) (toHtml t)
+ toHtml (Command "comment" y) = ""
toHtml (Command "url" y) = "<tt>"++(link (toHtml y) (toHtml y))++"</tt>"
toHtml (Command "WiX" y) = "W<span style='vertical-align:-20%'>I</span>X"
toHtml (Command "TeX" y) = "T<span style='vertical-align:-20%'>E</span>X"