.class10 { font-size: 10pt; text-decoration: none }
.class11 { font-size: 11pt; text-decoration: none }
.class12 { font-size: 12pt; text-decoration: none }
.class13 { font-size: 13pt; text-decoration: none }
.class14 { font-size: 14pt; text-decoration: none }
.class15 { font-size: 15pt; text-decoration: none }
.class17 { font-size: 17pt; text-decoration: none }
.class9 { font-size: 9pt; text-decoration: none }
.class12list { font-size: 12pt; list-style-type: lower-greek; text-decoration: none }