/* 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;
}