1 files changed, 0 insertions, 186 deletions
diff --git a/html/proofgen.css b/html/proofgen.css
deleted file mode 100644
index 2cd91335..00000000
--- a/html/proofgen.css
+++ /dev/null
@@ -1,186 +0,0 @@
-/* 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;
-}