/* Style sheet for the Resource Bounded Computation web pages. 
 * David Aspinall, April 2000.
 * resbnd-papers.css,v 1.2 2003/01/31 17:38:51 mkonecny Exp
 */

body{
 font-family: Verdana, Arial, sans-serif;	/* font for the doc body */
 background: #402004;					/* background red */
 background-image: url(images/textile.jpg);   /* background wallpaper */
 background-attachment: fixed;				/* background shouldn't scroll */
 color: #DFDFDF						/* text colour is white */
}

p{
 font-family: Verdana, Arial, sans-serif;	/* Netscape is picky, */
 color: #DFDFDF						/* so we must set every tag */
}

pre{
 font-family: LucidaTypewriter, mono;
 color: #DFDFDF					
}

h1{
 font-family: Verdana, Arial, sans-serif;
 color: #DFDFDF;
 font-size: large;
 font-series: bold
}

h2{
 font-family: Verdana, Arial, sans-serif;
 font-size: medium;
 color: #FFFFD0
}

h3{
 font-family: Verdana, Arial, sans-serif;	
 font-size: medium;
 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: #DFDFDF
}

address{
 font-family: Verdana, Arial, sans-serif;	
 font-size: small;				/* "smaller" is better on IE */
 color: #DFDFDF					/* but varies randomly in NN */
}

input,select,textarea {
 background: #2D1D03;
 color: #DFDFDF
}

/* Lists */

dl,ul,dir{
 font-family: Verdana, Arial, sans-serif;	
 color: #DFDFDF
}

li{
 font-family: Verdana, Arial, sans-serif;	
 padding-top: 0.5em;
 color: #FFFF80
}

li li {
 font-family: Verdana, Arial, sans-serif;	
 padding-top: 0.3em;
 color: #80FF80
}

dt{ font-style: italic; font-weight: bold }      /* Netscape misses this */

dd{ font-weight: normal; color: #DFDF80}

/* Table Elements */
table{
 font-family: Verdana, Arial, sans-serif;	
 color: #DFDFDF
}

td,tr{
 font-family: Verdana, Arial, sans-serif;	
 color: #DFDFDF
}

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

p.nb{
 font-size: smaller,
 font-style: italic
}