h1 { font-family: verdana, helvetica, arial, sans-serif; font-size: 16; margin-bottom: 0; color: #00C0C0 }
h2 { font-family: verdana, helvetica, arial, sans-serif; font-size: 14; margin-bottom: 0; color: #404040; border-bottom: 1px solid #C0C0FF }
h3 { font-family: verdana, helvetica, arial, sans-serif; font-size: 12; 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: 12; line-height: 140% }
.AMS_data { font-family: verdana, helvetica, arial, sans-serif; font-size: 12 }
.sect_head { width: 120px; background-color: #00C0C0; color: #FFFFFF; font-weight: bold; font-family: verdana, helvetica, arial, sans-serif; font-size: 12; 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: 12; 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 }