.nodec { text-decoration: none }
.size { font-weight: 500; font-size: 21pt; font-family: Times }
.size10 { font-size: 10pt; font-family: Times }
.size11 { font-size: 11pt; font-family: Times }
.size12 { font-size: 12pt; font-family: Times }
.size15 { font-weight: 500; font-size: 15pt; font-family: Times }
.size20 { font-weight: 500; font-size: 20pt; font-family: Times }
a:hover { color: maroon }