.bold_header_text {
	font-size: large;
	font-weight: bold;
	color: #000000;
	background-color: #CCFFCC;
}
.bold {
	font-weight: bold;
}
.verybig {
	font-size: x-large;
	font-weight: bolder;
}