/* @group Downloadarea */
ul.downloadarea {
	margin-top: 20px;
}
ul.downloadarea li {
	font-weight: normal;
}

ul.downloadarea span {
	font-size: 90%;
	font-weight: normal;
}




/* @end */