1 files changed, 136 insertions, 0 deletions
diff --git a/html/proofgen.css b/html/proofgen.css
new file mode 100644
index 00000000..e29db5a5
--- /dev/null
+++ b/html/proofgen.css
@@ -0,0 +1,136 @@
+/* Style sheet for the Proof General web pages. 
+ * David Aspinall, June 1999.
+ * 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-attachment: fixed;				/* background shouldn't scroll */
+ color: #FFFFFF;					/* text colour is white */
+}
+
+p{
+ font-family: Verdana, Arial, sans-serif;	/* Netscape is picky, */
+ color: #FFFFFF;			       /* so we must set every tag */
+}
+
+pre{
+ font-family: LucidaTypewriter, mono;
+ color: #FFFFFF;
+}
+
+h1{
+ font-family: Verdana, Arial, sans-serif;
+ color: #FFFFFF;
+ font-size: large;
+ font-series: bold;
+}
+
+h2{
+ font-family: Verdana, Arial, sans-serif;
+ font-size: medium;
+ 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;
+}
+
+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;
+}
+
+address{
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: small;				/* "smaller" is better on IE */
+ color: #FFFFFF; 			       /* but varies randomly in NN */
+}
+
+input,select,textarea {
+ background: #2D1D03;
+ color: #FFFFFF;
+}
+
+/* Lists */
+
+dl,ul,dir,li{
+ font-family: Verdana, Arial, sans-serif;	
+ color: #FFFFFF;
+}
+dt{ font-style: italic; 
+    padding: 2px 2px 2px 2px;
+    margin-left: 20px;
+    margin-right: 20px;
+    background: #6D3D43; 
+}
+
+/* Table Elements */
+table{
+ font-family: Verdana, Arial, sans-serif;	
+/* background: #2D1D03; */
+ color: #FFFFFF;
+}
+
+table.menubar{
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: smaller;
+/* background: #2D1D03; */
+ color: #FFFFFF;
+}
+
+td,tr{
+ font-family: Verdana, Arial, sans-serif;	
+/* background-color: #2D1D03;   */
+ color: #FFFFFF;
+}
+
+/* Link Elements */
+a:link,a:visited{					/* visited appears same */
+ font-family: Verdana, Arial, sans-serif;	
+ text-decoration: none;				/* Remove the underline */
+ color: #FFD820;
+}
+
+/* hover is IE specific nasty but nice */
+a:active,a:hover{
+ font-family: Verdana, Arial, sans-serif;	
+ text-decoration: underline;			/* Underline on mouse over */
+ color: #FFF030;				/* Brighter colour too */
+}
+
+
+pre{
+ background: #2D1D03;
+}
+
+/* Specifics */
+
+p.nb{
+ font-size: smaller;
+ font-style: italic;
+}
+