.font175{
	font: bold 175% Times;
}

.font150{
	font: bold 150% Times;
}

.font125{
	font: bold 125% Times;
}

.font110{
	font: bold 110% Times;
}

.font90{
	font: bold 90% Times;
}

.font80{
	font: bold 80% Times;
}

ul { margin: 0; margin-top: 5px; margin-bottom: 15px;}