body { max-width: 1024px; width:expression(document.body.clientWidth > 1024? "1024px": "auto"); margin-left: auto; margin-right: auto; border-width: 1px; border-style:double }
a:link { color: 000080; text-decoration: none; font-weight:bold }
a:active { color: red; text-decoration: none; font-weight:bold }
a:visited { color: 6277bc; text-decoration: none; font-weight:bold }
a[href]:hover { text-decoration: underline }

#now  { font-weight: normal }

.banner { background-color:3B5998; font-weight: bold; color: white; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14; padding: .3em .6em .3em .6em;}
.banner a {color: white; text-decoration: underline; }

.casename {text-decoration: underline; }