1 files changed, 12 insertions, 12 deletions

diff --git a/html/proofgen.css b/html/proofgen.css
index 912d80dc..b8ee878e 100644
--- a/html/proofgen.css
+++ b/html/proofgen.css
@@ -4,7 +4,7 @@
  */
 
 body{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	/* font for the doc 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-attachment: fixed;				/* background shouldn't scroll */
@@ -12,7 +12,7 @@ body{
 }
 
 p{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	/* Netscape is picky, */
+ font-family: Verdana, Arial, sans-serif;	/* Netscape is picky, */
  color: #FFFFFF						/* so we must set every tag */
 }
 
@@ -22,30 +22,30 @@ pre{
 }
 
 h1{
- font-family: Verdana, Arial, LucidaSans, sans-serif;
+ font-family: Verdana, Arial, sans-serif;
  color: #FFFFFF;
  font-size: large;
 }
 
 h2{
- font-family: Verdana, Arial, LucidaSans, sans-serif;
+ font-family: Verdana, Arial, sans-serif;
  font-size: medium;
  color: #FFFFD0
 }
 
 h3{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  font-size: medium;
  color: #FFFFD0
 }
 
 blockquote,form,input,select{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  color: #FFFFFF
 }
 
 address{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  font-size: small;				/* "smaller" is better on IE */
  color: #FFFFFF					/* but varies randomly in NN */
 }
@@ -58,7 +58,7 @@ input,select,textarea {
 /* Lists */
 
 dl,ul,dir,li{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  color: #FFFFFF
 }
 dt{ font-style: italic; font-weight: bold }      /* Netscape misses this, */
@@ -66,25 +66,25 @@ dt{ font-style: italic; font-weight: bold }      /* Netscape misses this, */
 
 /* Table Elements */
 table{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  color: #FFFFFF
 }
 
 td,tr{
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  color: #FFFFFF
 }
 
 /* Link Elements */
 a:link,a:visited{					/* visited appears same */
- font-family: Verdana, Arial, LucidaSans, sans-serif;	
+ 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, LucidaSans, sans-serif;	
+ font-family: Verdana, Arial, sans-serif;	
  text-decoration: underline;			/* Underline on mouse over */
  color: #FFF030					/* Brighter colour too */
 }