diff options
author | 1999-12-01 19:15:17 +0000 | |
---|---|---|
committer | 1999-12-01 19:15:17 +0000 | |
commit | 6ba4a4b158541579d197a42b475567657826dc60 (patch) | |
tree | 092bb068da5dbd3a11a9e671bf9e6a2d489914b8 /html/proofgen.css | |
parent | 1d767c3feb41ecaa6b7c46ac599252c8393e3b96 (diff) |
Removed unused descitem style.
Diffstat (limited to 'html/proofgen.css')
-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{ |