/*******************************************************************************
 * colors for the web site
 *******************************************************************************/

/*-----------------------------------------------------------------*/
body {
	background:         #EEE;
	color:              #000;
}

/*-----------------------------------------------------------------*/
pre, xmp {
	border-color:       #DDD;
	background:         #FFE;
	color:              #000;
}