1 files changed, 186 insertions, 0 deletions
diff --git a/html/proofgen.css b/html/proofgen.css
new file mode 100644
index 00000000..2cd91335
--- /dev/null
+++ b/html/proofgen.css
@@ -0,0 +1,186 @@
+/* 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, monospace;
+ color: #FFFFFF;
+}
+h1{
+ font-family: Verdana, Arial, sans-serif;
+ color: #FFFFFF;
+ font-size: large;
+ font-weight: 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 */
+}
+
+select {
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: 100%;
+ background: #2D1D03;
+ color: #FFFFFF;
+}
+
+textarea,input {
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: 100%;
+ background: #4D2D23;
+ color: #FFFFFF;
+}
+
+input[type=submit],input[type=reset],input[type=Submit] {
+ font-family: Verdana, Arial, sans-serif;
+ font-size: 80%;
+ padding-top: 0px;
+ padding-bottom: 0px;
+ background: #401010;
+}
+
+#button:active{
+ background: #402020;
+}
+
+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{
+ font-family: Verdana, Arial, sans-serif;	
+ color: #FFFFFF;
+}
+
+table.menubar{
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: smaller;
+ 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;
+}
+
+/* These bits for Mailman pages for mailing lists */
+TD.head1old {
+ font-family: Verdana, Arial, sans-serif;
+  text-align: center;
+  color: #FFFFFF;
+  font-weight: bold;
+  font-size: 110%;
+}
+td.head1{
+ font-family: Verdana, Arial, sans-serif;
+ font-weight: bold;
+ font-size: 110%;
+ text-align: center;
+ color: #FFFFFF;
+}
+td.head2{
+ font-family: Verdana, Arial, sans-serif;
+ font-size: 100%;
+ font-weight: bold;
+ color: #FFFFD0;
+ padding: 2px 4px 4px 4px;
+ background: #7D4D33;
+}
+td.head3{
+ font-family: Verdana, Arial, sans-serif;	
+ padding: 2px 2px 2px 2px;
+ margin-right: 10%;
+ background: #6D3D43;
+ font-size: 80%;
+ color: #FFFFD0;
+}
+td.head4{
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: 100%;
+ font-weight: bold;
+ color: #FFD0D0;
+}