diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 16:58:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 16:58:45 +0000 |
commit | a10bd2d44c9b1726f4aa35bc893653b5279c2e3b (patch) | |
tree | 60d268d0b6cbdaf4929a3553949d460cbf20a412 /html | |
parent | 5effdb6e7e389d76424877f9f81ef6f202e9a0be (diff) |
font-series -> weight fixes.
Diffstat (limited to 'html')
-rw-r--r-- | html/proofgen.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/proofgen.css b/html/proofgen.css index fc3f7e28..c3db8988 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -23,7 +23,7 @@ h1{ font-family: Verdana, Arial, sans-serif; color: #FFFFFF; font-size: large; - font-series: bold; + font-weight: bold; } h2{ font-family: Verdana, Arial, sans-serif; @@ -157,7 +157,7 @@ TD.head1old { } td.head1{ font-family: Verdana, Arial, sans-serif; - font-series: bold; + font-weight: bold; font-size: 110%; text-align: center; color: #FFFFFF; |