table.board { border-width: 1px 0 0 1px; border-style: solid; border-color: #000000 }
table.board td { border-width: 0 1px 1px 0; border-style: solid; border-color: #000000 }
table.score { font-family: verdana, helvetica, arial, sans-serif; font-size: 80%; font-weight: bold; color: #0000C0; float:right }
table.score td { padding: 5px }
table.score td input { background-color: #00C0C0; color: #FFFFFF; font-weight: bold; border: 1px inset #008080; padding: 1px 3px 1px 3px }
table.score td input.button { background-color: #00C0C0; color: #FFFFFF; font-weight: bold; border: 1px outset #008080; padding: 1px 3px 1px 3px; width: 100% }


h1 { font-family: verdana, helvetica, arial, sans-serif; font-size: 16px; margin-bottom: 0; color: #00C0C0 }
h2 { font-family: verdana, helvetica, arial, sans-serif; font-size: 14px; margin-bottom: 0; color: #404040; border-bottom: 1px solid #C0C0FF }
h3 { font-family: verdana, helvetica, arial, sans-serif; font-size: 12px; margin-bottom: 0; color: #000000; border-bottom: 1px dotted #C0C0FF }
a.header:link { color: #606060; text-decoration: none; }
a.header:active { color: #606060; text-decoration: underline; }
a.header:visited { color: #606060; text-decoration: none; }
a.header:hover { color: #606060; text-decoration: underline; }
li { margin-top: 5px }
body, p, table { font-family: verdana, helvetica, arial, sans-serif; font-size: 12px; line-height: 140% }
.AMS_data { font-family: verdana, helvetica, arial, sans-serif; font-size: 12px }
.sect_head { width: 120px; background-color: #00C0C0; color: #FFFFFF; font-weight: bold; font-family: verdana, helvetica, arial, sans-serif; font-size: 12px; padding-left: 10px; margin-top: 8px }
.sect_div { width: 99%; border-top: 1px solid #00C0C0; padding: 5px; font-family: verdana, helvetica, arial, sans-serif; font-size: 12px; clear: both }
.sect_link { float: left; width: 150px; vertical-align: middle }
.sect_desc { margin-left: 150px; }
.code, code { background-color: #E8E8E8; border: 1px solid #D0D0D0; padding: 8px; margin-top: 10px; margin-bottom: 10px }