body {
	font-size: 88%;
}

#resources div.font-size-adjustment
{
	font-size: 80%;
}