From def77e9b1d6f899df0807fd61137756f6bb7c9eb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Jul 2000 12:08:58 +0000
Subject: Changes for CVS web style fixup

---
 html/proofgen.css | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

(limited to 'html')

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
+}
+
-- 
cgit v1.2.3