.default     { font-size: 9pt; color: #000000; background-color: #EEEEEE; 
               border-top: 1 solid #000000 }
.headmargin  { margin-bottom: 2; margin-top: 1 }
.bodymargin  { margin-left: 0; margin-top: 0; font-size: 9pt; background-color: #FFFFFF}
a.defaultlink:link { font-size: 9pt; color: #000000; text-decoration: none }
a.defaultlink:visited { font-size: 9pt; text-decoration: none; color: #000000 }
a.defaultlink:hover { font-size: 9pt; color: #000000; text-decoration: underline }
a.position:link { font-size: 9pt; color: #0000FF; text-decoration: underline }
a.position:visited { font-size: 9pt; text-decoration: underline; color: #0000FF }
a.position:hover { font-size: 9pt; color: #FF0000; text-decoration: underline }