#maincontent #legend {
	float: right;
	margin: 1em 2em 1em 1em;
}
#maincontent #legend td {
	font-size: 85%;
	padding: .2em 0;
}
#maincontent #filtermenu {
	margin: 0;
	padding: 1em 2em 2em 2em;
}
#maincontent #filtermenu li {
	float: left;
	display: block;
	list-style-type: none;
	margin: 0 4px 0 0;
	padding: 0;
	cursor: pointer;
}
#maincontent #filelist {
	clear: both;
	margin: 1em;
}
#maincontent dl dt {
	margin-top: .5em;
	font-weight: bold;
}
#maincontent dl dt a {
	margin-right: .75em;
}
#maincontent .os {
	margin-bottom: -2px;
}
#maincontent .hidden {
	display: none;
}
#maincontent #filtermenu li#description {
	margin: 0 0 0 20px;
}
#maincontent img.recently {
	margin: 0 0 0 .25em;
}
#maincontent div#recently {
	clear: both;
	background: #ffe;
	border: 1px solid #ccc;
	margin: 1em 0;
}
#maincontent div#recently h3 {
	margin: .75em;
	border: 0;
	font-size: 1em;
}
#maincontent div#recently dl {
	margin: 1em;
}