X-Git-Url: http://git.megacz.com/?p=wix.git;a=blobdiff_plain;f=src%2FHtml.lhs;h=a3ff54f19c3f0780bf5debf114110aa991bc5a5e;hp=e244bca664128e32a4363ff54af6af11ca82a5f5;hb=78e11871be7fa7677a0e3822b6e08b3beca1c4b7;hpb=3c96b1336f651fa3689e975f4793b55c43591d21
diff --git a/src/Html.lhs b/src/Html.lhs
index e244bca..a3ff54f 100644
--- a/src/Html.lhs
+++ b/src/Html.lhs
@@ -1,7 +1,11 @@
\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 SBP
+import Edu_Berkeley_Sbp_Haskell_SBP
import FromTree
import Doc
import List(isSuffixOf,isPrefixOf)
@@ -27,7 +31,7 @@ style =
" LI { margin-top: 5px; }\n"++
" body { color: #333333; }\n"++
" blockquote { font-style: italic; width: 100% }\n"++
- " div.warn { border: 1px solid red; background-color: #fbb; color: white; }\n"++
+ " div.warn { border: 1px solid #f44; border-top: 5px solid #f44; background-color: #fbb; color: white; }\n"++
" td.warn { color: black; }\n"++
" div.announce { border: 1px solid green; background-color: #bfb; color: white; }\n"++
" td.announce { color: black; }\n"++
@@ -43,18 +47,18 @@ style =
" 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"++
@@ -83,13 +87,81 @@ instance ToHtml Doc where
(toHtml secs) ++
"
\n"++
"
"++ - " | "++ + ""++ "rendered from "++ ""++ "WIX |