updated colors, and font adjustments
authorAli Saidi <saidi@eecs.umich.edu>
Wed, 1 Dec 2004 22:00:39 +0000 (17:00 -0500)
committerAli Saidi <saidi@eecs.umich.edu>
Wed, 1 Dec 2004 22:00:39 +0000 (17:00 -0500)
commit41411ff8d9a5be611027b9aff37559e29dc8d0a0
tree4a4f70d6a987c3cd0cc3f6f45ff1a9188d9f598e
parent409f7812b25fe7be9beea066f21a929da2bc83c8
updated colors, and font adjustments

--HG--
extra : convert_revision : a4ce055c73ec12a26c70d03bd833ee9d429adc23