body { background-color: #FFFFFF; }

div.clearboth {
    clear: both;
    }

p.clearboth {
    clear: both;
    margin-top: 1pt;
    margin-bottom: 1pt;
    padding: 0pt 0pt;
    font-family: Helvetica;
    font-size: 6pt;
    }

.lfloat {
    float: left;
    }

.rfloat {
    float: right;
    }

.imgmargin {
    margin-left: 13px;
    margin-right: 13px;
    }

.imgoutline {
    border: solid 1px black;
    }

#menu {
    text-align: justify;
    padding: 7px 11px;
    min-width: 600px;
    background-color: #EEEEEE;
    border-top: solid 1px #000000;
    border-bottom: solid 1px #000000;
    }

#menu div {
    display: inline-block;
    }

#menu:after {
    content: '';
    width: 100%;
    display: inline-block;
    }

#menu div a {
    color: blue;
    font-family: Helvetica;
    font-size: 14pt;
    font-weight: bold;
    text-decoration: none;
    }

#submenu {
    text-align: justify;
    padding: 7px 41px;
    min-width: 600px;
    background-color: #FFFFFF;
    border-bottom: solid 1px #000000;
    }

#submenu div {
    display: inline-block;
    }

#submenu:after {
    content: '';
    width: 100%;
    display: inline-block;
    }

#submenu div a {
    color: blue;
    font-family: Helvetica;
    font-size: 12pt;
    font-weight: bold;
    text-decoration: none;
    }

a {
    color: blue;
    text-decoration: none;
    }

p.ref {
    margin-top: 2pt;
    margin-left: 21pt;
    margin-bottom: 6pt;
    }

a.ref {
    font-family: Helvetica;
    font-size: 12pt;
    }

h1 {
    font-family: Helvetica;
    font-size: 24pt;
    text-align: center;
    }

h2 {
    margin-top: 8pt;
    font-family: Helvetica;
    font-size: 18pt;
    text-align: left;
    }

h3 {
    font-family: Helvetica;
    font-size: 14pt;
    text-align: left;
    }

h4 {
    font-family: Helvetica;
    font-size: 12pt;
    text-align: left;
    }

code {
    font-family: Courier;
    font-size: 10pt;
    font-weight: bold;
    }

dt {
    margin-top: 6pt;
    margin-left: 8pt;
    font-family: Helvetica;
    font-size: 10pt;
    font-weight: bold;
    }

dd {
    margin-top: 4pt;
    margin-left: 20pt;
    }

p {
    margin-left: 8pt;
    margin-right: 8pt;
    }

table.tlang {
    width: 90%;
    padding-left: 24pt;
    padding-right: 24pt;
    border: 1px solid #333333;
    border-collapse: collapse;
    }

th {
    font-family: Helvetica;
    font-size: 12pt;
    font-weight: bold;
    padding-top: 6px;
    padding-bottom: 6px;
    border: 1px solid #333333;
    background-color: #DDDDDD;
    }

td.name {
    font-size: 10pt;
    font-family: Helvetica;
    vertical-align: top;
    padding: 3px 12px 3px 4px;
    border: 1px solid #333333;
    }

td.desc {
    width: 100%;
    font-size: 10pt;
    font-family: Times  ;
    padding: 3px 3px 3px 4px;
    border: 1px solid #333333;
    }