.def { }
.from_text { }
.goto_text { }
.h1 { color: #148; font-size: 24pt; padding: 2pt 2pt 0pt }
.line_number { color: #f03 }
.list_entry { margin-top: 0.5em; margin-left: 2em }
.list_heading { color: #148; font-weight: bold; margin-bottom: 0.7em; border-bottom: 0.5em none }
.ref { }
a.bibliography:link { color: black; font-style: normal; font-weight: bold }
a:active { color: #900; font-weight: bold; text-decoration: none }
a:hover { color: #900; font-weight: bold; text-decoration: none }
a:link { color: #168; font-weight: bold; text-decoration: none }
a:visited { color: #148; font-weight: bold; text-decoration: none }
blockquote { font-size: 11pt; line-height: 110%; font-family: verdana, arial, sanserif; margin: 1em 1em 1em 2em }
body { font-family: arial, helvetica, sanserif; background-color: #f0ffff }
dd { font-size: 10px; line-height: normal; font-family: verdana, arial, sanserif; margin-bottom: 0.5em; margin-left: 1.5em }
dt { line-height: normal; font-family: verdana, arial, sanserif; margin-bottom: 0.5em }
h1 { color: #148; font-size: 24pt }
h2 { color: #148; font-weight: bold; font-size: 14pt }
li { font-size: 12px; line-height: 14px; font-family: verdana, arial }
p { font-size: 12pt; line-height: 150%; font-family: verdana, arial, sanserif }
td { font-size: 12px; line-height: 14px; font-family: verdana, arial }