diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-07-04 12:08:58 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-07-04 12:08:58 +0000 |
commit | def77e9b1d6f899df0807fd61137756f6bb7c9eb (patch) | |
tree | 2354d83ce011d05cae96f5712517c8315b97c65d /html | |
parent | 25d29fed63d9592fa84c6f47c19681bd18fc98d1 (diff) |
Changes for CVS web style fixup
Diffstat (limited to 'html')
-rw-r--r-- | html/proofgen.css | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/html/proofgen.css b/html/proofgen.css index 5ad31b7f..a3317feb 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -1,12 +1,13 @@ /* Style sheet for the Proof General web pages. * David Aspinall, June 1999. - * $Id$ + * proofgen.css,v 4.0 2000/03/13 07:36:57 da Exp */ body{ font-family: Verdana, Arial, sans-serif; /* font for the doc body */ background: #2D1D03; /* background brown */ - background-image: url(images/canvaswallpaper.jpg); /* background wallpaper */ + background-image: + url(http://zermelo.dcs.ed.ac.uk/~proofgen/images/canvaswallpaper.jpg); background-attachment: fixed; /* background shouldn't scroll */ color: #FFFFFF /* text colour is white */ } @@ -79,11 +80,13 @@ dt{ font-style: italic; font-weight: bold } /* Netscape misses this */ /* Table Elements */ table{ font-family: Verdana, Arial, sans-serif; +/* background: #2D1D03; */ color: #FFFFFF } td,tr{ font-family: Verdana, Arial, sans-serif; +/* background: #2D1D03; */ color: #FFFFFF } @@ -101,7 +104,15 @@ a:active,a:hover{ color: #FFF030 /* Brighter colour too */ } + +pre{ + background: #2D1D03; +} + +/* Specifics */ + p.nb{ font-size: smaller, font-style: italic -}
\ No newline at end of file +} + |