font.version {
	color:#000080;
	font-weight:bold;
}
font.high {
	color:#ff0000;
	font-weight:bold;
}
font.medium {
	color:#ffa000;
	font-weight:bold
}
font.low {
	color:#00a000;
	font-weight:bold;
}
ul.changes {
	margin-top:10px;
	margin-bottom:10px;
}