diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/proofgen.css | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/html/proofgen.css b/html/proofgen.css index b8ee878e..3403c36e 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -61,8 +61,7 @@ dl,ul,dir,li{ font-family: Verdana, Arial, 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 */ +dt{ font-style: italic; font-weight: bold } /* Netscape misses this */ /* Table Elements */ table{ |