Fix default highlighting
authorJamie Cameron <jcameron@webmin.com>
Fri, 9 Oct 2009 05:52:39 +0000 (22:52 -0700)
committerJamie Cameron <jcameron@webmin.com>
Fri, 9 Oct 2009 05:52:39 +0000 (22:52 -0700)
commitf89837390de5cc247e7b56527a5df3effe171406
tree299ef70fe3d7710f73536db72ef6aa6ccd15ee7f
parent585af4b74559903366eb7b5035173c128502235f
Fix default highlighting
blue-theme/theme.pl