
a:visited { color: #ab3033; font-weight: bold; text-decoration: none; padding-right: 2pt; padding-left: 2pt }
a:link { color: black; font-weight: bold; text-decoration: underline; padding-right: 2pt; padding-left: 2pt }
a:hover { font-weight: bold; background-color: #dbdbdb; bold: background-color: #d8d8d8  }
a:active { }
.code  { color: white; font-size: 12pt; line-height: 13pt; background-color: black; margin-right: 80pt; margin-left: 40pt; padding-top: 3pt; padding-bottom: 3pt; padding-left: 15pt }
.credit { font-size: 12pt; line-height: 0pt }
.subtitle   { font-size: 24pt; line-height: 24pt }
.title    { font-weight: bold; font-size: 32pt; line-height: 40pt }
.topic { font-size: 18pt; line-height: 20pt }
.text { text-align: left; margin-right: 15pt; margin-left: 15pt; width: 600pt }
body { font-size: 12pt; line-height: 14pt; width: 600pt }
