a:link {color: #202090; text-decoration: none; font-weight: none; border-width: 0px}
a:visited  { color: #606090;  text-decoration: none; font-weight: none; border-width: 0px}
a:hover { border-width: 1px; color: #000000; text-decoration:underline; font-weight: none; border-width: 1px}
li {list-style: disc; color: #000000}
UL {text-decoration: bold; color: #FF0000}
.box {width:90%; margin:10pt; border-style:outset; border-width: 3pt;
   border-color: #000000; padding: 10px; background-color: #E0E0FF; text-align:left; font:sans-sarif;}
p.jumps { text-align:center; font-size:1.5em;}
h1 {color:#000000; margin-top:0em; margin-bottom:0.5em}
h2 {color:#000000; margin-top:0em; margin-bottom:0em}
h3 {color:#000000; margin-top:0em; margin-bottom:0em}
h4 {color:#000000; margin-top:0em; margin-bottom:0em}
h5 {color:#000000; margin-top:0em; margin-bottom:0em}
p.subscript {font-size:0.75em; margin-top:0em; margin-bottom:0em}