#maincol { }
#page { padding: 10px 35px 0px 35px; }

div#downloads {
	background-color:#E3E3E3;
	border: 1px solid #C3C3C3;
	padding: 4px;
	margin: 0px 0px 20px 20px;
	float:right;
	width: 140px;
}
div#downloads h3 { margin:0px; }
div#downloads ul { margin:0px 0px 0px 16px; padding:0px; }
div#downloads ul li { margin: 6px 0px 6px 0px; padding:0px; }