diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-13 05:14:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-13 05:14:23 +0000 |
| commit | 670761dd6bd6321d65beeacdc81d68c0a2ebe92b (patch) | |
| tree | 42cb0879a750de1af1122ab103272f305ad5902e /html/proofgen.css | |
| parent | 5e9f920b0d834276ed2df4db60f95357460818bd (diff) | |
Updated web pages.
Diffstat (limited to 'html/proofgen.css')
| -rw-r--r-- | html/proofgen.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/html/proofgen.css b/html/proofgen.css index 3403c36e..5ad31b7f 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -25,6 +25,7 @@ h1{ font-family: Verdana, Arial, sans-serif; color: #FFFFFF; font-size: large; + font-series: bold } h2{ @@ -39,6 +40,18 @@ h3{ color: #FFFFD0 } +h4{ + font-family: Verdana, Arial, sans-serif; + font-size: medium; + color: #FFD0D0 +} + +h5{ + font-family: Verdana, Arial, sans-serif; + font-size: medium; + color: #E0C0C0 +} + blockquote,form,input,select{ font-family: Verdana, Arial, sans-serif; color: #FFFFFF |