body
{
	background-color: #cccccc;
	color: black;
}

a:link
{	color: #0000ff;
	background-color: rgb(255, 255, 255);
}

a:visited	
{	color: #800080;	
        background-color: rgb(255, 255, 255);
}

a:hover
{	text-decoration: underline;
	color: #ff0000;
        background-color: rgb(255, 255, 255);
}

p.title
{	background-color: rgb(220, 140, 220);
	color: #ffffff;
	padding: 0.5em;
	font-family: Times, serif;
	font-size: large;
	font-weight: bold;
	margin: 20px;
	vertical-align: middle;
}

pre
{
	color: #00ee00;
        background-color: #000000;
        padding: 0.5em;
        font-family: sans-serif, Courier;
}

h1
{
	color: #000000;
	background-color: rgb(220, 140, 220);
	padding: 0.5em;
	font-family: verdana, serif;
}

div.section
{
	color: #000000;
	background-color: #ffffff;
	padding: 0.5em;
}

div.download
{
        color: #000000;
        background-color: #eeeeee;
	padding:	0.5em;
	border-style:	1px;
}