.tabledef{ font-family: Times New Roman; border-collapse: collapse; border: 1px solid black; }
.tabledef td { font-family: Times New Roman;padding: 2px 5px; border: 1px solid black; }

.tx0 { font-size: 10px;
	font-family: times, sans-serif}


.tx1 { font-size: 11px;
	font-family: times, sans-serif}

.tx2 { font-size: 12px;
	font-family: times, sans-serif}


.tx3 { font-size: 15px;
	font-family: times, sans-serif}


.tx4 { font-size: 18px;
	font-family: times, sans-serif}


.tx3-red { font-size: 15px;
	color: ee0060;
	font-family: times, sans-serif}

.tx5-red { font-size: 22px;
	color: ee0060;
	font-family: times, sans-serif}


.tx3-gray { font-size: 15px;
	color: 53637F;
	font-family: times, sans-serif}


a  { font-size: 11px;
	font-family: times;
	color: 003cc3; cursor: hand;
	text-decoration: underline}


.ab  { font-size: 12px;
	font-family: times;
	color: 003cc3; cursor: hand;
	text-decoration: underline}

.abb  { font-size: 15px;
	font-family: times;
	font-weight: bold;
	color: 003cc3; cursor: hand;
	text-decoration: underline}

.abbc  { font-size: 20px;
	font-family: times;
	font-weight: bold;
	color: 003cc3; cursor: hand;
	text-decoration: underline}



a:hover {text-decoration: underline}