.F8 { font-size: 8pt;}
.Fs { font-size: x-small; line-height: 130%;}
.F9 { font-size: 9pt; line-height: 13pt;}
.F10 { font-size: 10pt; line-height: 14pt;}
.F11 { font-size: 11pt; line-height: 15pt;}
a:hover { color: #FF0000;}
a { text-decoration: none; color:#0000FF;}
.blue { border-bottom-style: dashed ;border-bottom-width: 1;border-bottom-color: blue; }
.silver { border-bottom-style: dashed ;border-bottom-width: 1;border-bottom-color: silver; }
.red { border-bottom-style: dashed ;border-bottom-width: 1;border-bottom-color: red; }