.size10 {  font-size: 10pt}
.size11 {  font-size: 11pt}
.size12 {  font-size: 12pt}
.size13 {  font-size: 13pt}
.size14 {  font-size: 14pt}
.size15 {  font-size: 15pt}
.size16 {  font-size: 16pt}
.size17 {  font-size: 17pt}
.size18 {  font-size: 18pt}
.size19 {  font-size: 19pt}
.size20 {  font-size: 20pt}
.size12b { 
	font-size: 12pt;
	font-weight: bold;
	}

.size13b { 
	font-size: 13pt;
	font-weight: bold;
	}
.red { color: #ff0000 }