From: adam Date: Wed, 28 Jan 2009 22:03:40 +0000 (-0800) Subject: change shade of red in warn-boxes X-Git-Url: http://git.megacz.com/?p=wix.git;a=commitdiff_plain;h=7e4ff0231500f70834bc9c65c83d7068254eee55;hp=0e25c5f2daeb3bca86501cb92cc785a5e698906e change shade of red in warn-boxes darcs-hash:20090128220340-5007d-4168d4721d857b3b533f1ecd49bc2dc7ed82d616.gz --- diff --git a/src/Html.lhs b/src/Html.lhs index 96e9e6a..1622695 100644 --- a/src/Html.lhs +++ b/src/Html.lhs @@ -31,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"++