.hl, .hlH, .ok, .okH, .warn, .warnH {
	color: #116699;
	font-weight: bold;
/*	font-size: x-small;*/
	}
.ok, .okH {
	color: #339966;
	}
.warn, .warnH {
	color: #CC3333;
	}
.hlH, .okH, .warnH {
/*	font-size: small;*/
	}