body
{
    background:
	#FFFFFF;
	color:#000000;
	font-family:terminal,monospace;
        margin-left:0%;
        margin-right:0%;
	margin-top:0%;
	margin-bottom:0%;
}

pre
{
	font-size:10px;
}

table
{
	font-size:14px;
}

text,ul,li
{
	font-size:20px;
	font-family:serif;
}

a
{
	color:#000000;
}

a.visited
{
	color:#CCCCCC;
}