diff options
| -rw-r--r-- | html/proofgen.css | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/html/proofgen.css b/html/proofgen.css index c2cefb30..912d80dc 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -1,9 +1,6 @@ /* Style sheet for the Proof General web pages. - * * David Aspinall, June 1999. - * * $Id$ - * */ body{ @@ -16,7 +13,7 @@ body{ p{ font-family: Verdana, Arial, LucidaSans, sans-serif; /* Netscape is picky, */ - color: #FFFFFF /* so we must set every tag */ + color: #FFFFFF /* so we must set every tag */ } pre{ @@ -60,30 +57,20 @@ input,select,textarea { /* Lists */ -dl{ +dl,ul,dir,li{ font-family: Verdana, Arial, LucidaSans, sans-serif; color: #FFFFFF } dt{ font-style: italic; font-weight: bold } /* Netscape misses this, */ .descitem{ font-style: italic; font-weight: bold } /* so duplicate by hand */ -ul{ - font-family: Verdana, Arial, LucidaSans, sans-serif; - color: #FFFFFF -} - /* Table Elements */ table{ font-family: Verdana, Arial, LucidaSans, sans-serif; color: #FFFFFF } -td{ - font-family: Verdana, Arial, LucidaSans, sans-serif; - color: #FFFFFF -} - -tr{ +td,tr{ font-family: Verdana, Arial, LucidaSans, sans-serif; color: #FFFFFF } @@ -95,7 +82,7 @@ a:link,a:visited{ /* visited appears same */ color: #FFD820 } -/* hover is IE specific? */ +/* hover is IE specific nasty but nice */ a:active,a:hover{ font-family: Verdana, Arial, LucidaSans, sans-serif; text-decoration: underline; /* Underline on mouse over */ |