body
{
    background:
	#111111 url('bg.gif');
	color:#FFFFFF;
	font-family:terminal,monospace;
        margin-left:5%;
        margin-right:5%;
}

pre
{
	font-size:10px;
}

table
{
	font-size:14px;
}

a
{
	color:#FFFFFF;
}

a.visited
{
	color:#CCCCCC;
}