html{    font-size: 100%;} body{    background: #FFFFFF;    color: #000000;    font-family: Tahoma, "Trebuchet MS", Trebuchet, Verdana, Arial, "Lucida Sans", Univers, Helvetica, Helvet, sans-serif;    font-size: 1.0em;    text-align: left;    margin: 0px;}body.document, div.document{    margin: 0px 24px 24px 24px;}h1{    color: rgb(0,0,102);    font-family: Tahoma, "Trebuchet MS", Trebuchet, Verdana, Arial, "Lucida Sans", Univers, Helvetica, Helvet, sans-serif;    font-size: 180%;    font-weight: bold;}h2{    color: rgb(0,0,102);    font-family: Tahoma, "Trebuchet MS", Trebuchet, Verdana, Arial, "Lucida Sans", Univers, Helvetica, Helvet, sans-serif;    font-size: 160%;    font-weight: bold;}h3{    color: rgb(102,102,102);    font-family: Tahoma, "Trebuchet MS", Trebuchet, Verdana, Arial, "Lucida Sans", Univers, Helvetica, Helvet, sans-serif;    font-size: 120%;    font-style: normal;    font-weight: bold;}h4{    font-size: 100%;    font-style: normal;    font-weight: bold;}h5{    font-size: 100%;    font-style: italic;    font-weight: normal;}p, table, td, th, textarea{    font-family: Tahoma, "Trebuchet MS", Trebuchet, Verdana, Arial, "Lucida Sans", Univers, Helvetica, Helvet, sans-serif;    font-size: 1.0em;}p.footer{    color: #333333;    font-size: 80%;}p.entry{    text-indent: -10px;    margin-left:  12px;}p.submenu{    padding-left:  17px;    font-size: 80%;    font-weight: bold;}blockquote.example{    background-color: rgb(230,230,230);    border-width: 3px;    border-style: outset;    padding: 10px;}blockquote.note{    background: rgb(230,230,230);    color: rgb(0,102,0);    margin-top: 0px;    margin-bottom: 0px;    padding: 10px 17px;}table, td, th, textarea{    background: #FFFFFF;    margin: 0px;    padding: 0px;}textarea.code{	font-family: "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Courier New", Courier, monospace;    background-color: rgb(230,230,230);    border-width: 3px;    border-style: outset;    padding: 10px;}th, dt{    font-weight: bold;}table.data{    padding: 3px;}table.data td, table.data th{    padding: 0px 2px 0px 2px;}p.footer, td.footer{    color: #333333;    font-size: 8pt;}td.padded, th.padded{    padding: 4px;}a, a:link{    color: #CC0000;    text-decoration: none;}a:visited{    color: #330099;}a:hover{    color: #FF0000;}a:active{    color: #FF3300;}img.corner_icon{    position: absolute;    top: 0px;    left: 0px;    width: 24px;    height: 24px;    border: none;    float: left;    margin: 0px;}.subtitle{    font-size: 70%;}.tiny{    font-size: 50%;}.faded{    color: rgb(153,153,153);}.warning{    color: rgb(0,102,0);    font-weight: bold;}