change shade of red in warn-boxes
authoradam <adam@megacz.com>
Wed, 28 Jan 2009 22:03:40 +0000 (14:03 -0800)
committeradam <adam@megacz.com>
Wed, 28 Jan 2009 22:03:40 +0000 (14:03 -0800)
commit7e4ff0231500f70834bc9c65c83d7068254eee55
treea5e4b1c1c5470618e13edf1da2ffd225f747174a
parent0e25c5f2daeb3bca86501cb92cc785a5e698906e
change shade of red in warn-boxes

darcs-hash:20090128220340-5007d-4168d4721d857b3b533f1ecd49bc2dc7ed82d616.gz
src/Html.lhs