@charset "ISO-8859-1";
.13 {
	font-size: 13px;
	font-weight: bold;
	color: #F00;
}