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

a:link { color: #0000ff; }
a:link:visited { color: #800080; }
a:link:hover { color: #ff0000; }

pre
{
	background-color: #7777aa;
        padding: 0.5em;
        font-family: currier;
}

h1
{
	background-color: #7777aa;
	padding: 0.5em;
	font-family: verdana;
}

h3
{
        background-color: #7777aa;
        padding: 0.5em;
        font-family: verdana;
}

div.section
{
	background-color: white;
	padding: 0.5em;
}