diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:48:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:48:20 +0000 |
| commit | bfe2190d1ce2eaa372936f9ca3345a1d9305897c (patch) | |
| tree | ee77f8fe18140fa421a7c29f6fc90a434faed4fa /html | |
| parent | 8e39eeed71729920b48e061ebba6f9fc754b158e (diff) | |
Revamp style a bit -- not so good with netscape but OK elsewhere.
Diffstat (limited to 'html')
| -rw-r--r-- | html/proofgen.css | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/html/proofgen.css b/html/proofgen.css index e9fe12e5..ce14b96d 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -32,12 +32,18 @@ h1{ h2{ font-family: Verdana, Arial, sans-serif; font-size: medium; - color: #FFFFD0 + font-weight: bold; + color: #FFFFD0; + padding: 2px 4px 4px 4px; + background: #7D4D33 } h3{ font-family: Verdana, Arial, sans-serif; font-size: medium; + padding: 2px 2px 2px 2px; + margin-right: 10%; + background: #6D3D43; color: #FFFFD0 } @@ -75,7 +81,11 @@ dl,ul,dir,li{ font-family: Verdana, Arial, sans-serif; color: #FFFFFF } -dt{ font-style: italic; font-weight: bold } /* Netscape misses this */ +dt{ font-style: italic; + padding: 2px 2px 2px 2px; + margin-left: 20px; + margin-right: 20px; + background: #6D3D43; } /* Table Elements */ table{ @@ -86,8 +96,8 @@ table{ td,tr{ font-family: Verdana, Arial, sans-serif; -/* background: #2D1D03; */ - color: #FFFFFF +/* background-color: #2D1D03; */ + color: #FFFFFF; } /* Link Elements */ |