body  { font-size: 10pt }
element { }
a { color: #39c; text-decoration: none }
a:link { color: #39c; text-decoration: none }
a:hover { color: #6ff; text-decoration: none }
p  { font-size: 10pt }
h1  { font-size: 22pt }
h2  { font-size: 20pt }
h3  { font-size: 18pt }
h4  { font-size: 16pt }
h5  { font-weight: bold; font-size: 14pt }
h6  { font-size: 12pt }
.small1  { font-size: 9pt }
.small2  { font-size: 8pt }
.small3  { font-size: 7pt }
.small4 { font-size: 6pt }
.big1  { font-size: 12pt }
.big2  { font-size: 14pt }
.big3  { font-size: 16pt }
.borderdot { border-bottom: thin dotted black }
.bold { font-weight: bolder }