change shade of red in warn-boxes

[wix.git] / src / Html.lhs

diff --git a/src/Html.lhs b/src/Html.lhs
index 632dcfe..1622695 100644 (file)
--- a/src/Html.lhs
+++ b/src/Html.lhs
@@ -1,4 +1,8 @@
 \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
@@ -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"++