/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */

.boldred {
	color: rgb(255,0,0);
 	font-weight: bold
}

.red {
	color: rgb(255,0,0);
 	font-weight: bold
}