body {
	font-size: 87%;
}
h2 {
	line-height: 105%;
}
div.dlbox a img {
	border: 4px solid #009349;
	margin: 11px;
}
ul#nav {
	font-size: 13px;
}
div.download_filedescr, div.download_filesize {
	font-size: 85%;
}
div#root {
	font-size: 80%;
}
table {
	font-size: 75%;
}