body { background-color: #ffffff; color: #000000; font-size:1em; line-height:1.1 ;}
h1 { color: #000000; font: bold 1.6em sans-serif ;}
h2 { color: #000000; font: bold 1.2em sans-serif;
     border-width: 0px 0px 3px 0px; border-color: #000000; border-style: double ;}
dt { margin-top: 1em; font: bold 1em sans-serif; background-color: #ee9999 ;}
dd { padding-top: 0.5em ;}
div.main { text-align: left; font-size: 1.4em; padding-left: 1em; padding-right: 1.5em ;}
blockquote.cr { font-size: 1em; text-align: right ;}
a:link { color: #0000ff ;}
a:visited { color: #0000ff ;}
a:hover { color: #ff6060 ;}