.style1 {font-size: 10px}
.style13 {
	font-size: large;
	font-weight: bold;
}
.style19 {color: #FF0000}
.style6 {font-size: 12px; }
.style7 {color: #000000}
.style22 {font-size: small}
.style24 {color: #FF0000; font-weight: bold; }
.style55 {color: #379A32}
.style56 {
	font-size: 18px;
	color: #FFFFFF;
}
.style58 {color: #FF0000; font-size: 12px;}
.style59 {
	font-size: 30px;
	color: #379A32;
}


/* --- jsearch --- */

h1.jsearch  {color: #0000FF; }

.bold { font-weight: bold; }

.normal { font-weight: normal; }