html, body	{margin:0px;}

body {
	background-color:#fff;
	padding:5px;
	font-size:1.1em;
}

div#main {
	background-color:#fff;
	/* width:760px; */
	max-width:960px;
	width:100%;
	padding:5px;
	margin:0px;
	font-family: verdana;
	font-size:3.8em;
	line-height:1.4em;
}



a, a:visited {
	color:#000;
	text-decoration:none;
	margin:0px;
	padding:1px 5px 6px 5px;
	/* border: 1px solid red; */
}

a:hover {
	/* text-decoration:underline; */
	background-color:#ddd;
}

a.diff,  a.diff:visited {
	color:#f00;
	text-decoration:none;
}

a.diff2,  a.diff2:visited {
	color:#777;
	text-decoration:none;
}

a.diff2:hover {
	color:#fff;
}