body { text-align: justify; margin-right: 2em; margin-left: 2em; } a, a[accesskey^="h"], a[accesskey^="n"], a[accesskey^="u"], a[accesskey^="p"] { font-family: Verdana, Arial, helvetica, sans-serif; font-size: 12px; color: #003399; } a:active { color: #003399; } a:visited { color: #888888; } p { font-family: Verdana, Arial, sans-serif; } dt { font-family: Verdana, Arial, sans-serif; font-size: 12px; } p, dl, dt, dd, blockquote { color: #000000; margin-bottom: 3px; margin-top: 3px; padding-top: 0; } ol, ul, p { margin-top: 6px; margin-bottom: 6px; } p, blockquote { font-size: 90%; } p.releaseinfo { font-size: 100%; font-weight: bold; font-family: Verdana, Arial, helvetica, sans-serif; padding-top: 10px; } p.pubdate { font-size: 120%; font-weight: bold; font-family: Verdana, Arial, helvetica, sans-serif; } td { font-size: 80%; } td, th, span { color: #000000; } td[width^="40%"] { font-family: Verdana, Arial, helvetica, sans-serif; font-size: 12px; color: #003399; } table[summary^="Navigation header"] tbody tr th[colspan^="3"] { font-family: Verdana, Arial, helvetica, sans-serif; } blockquote { margin-right: 0; } h1, h2, h3, h4, h6 { color: #000000; font-weight: 500; margin-top: 0; padding-top: 14px; font-family: Verdana, Arial, helvetica, sans-serif; margin-bottom: 0; } h2.title { font-weight: 800; margin-bottom: 8px; } h2.subtitle { font-weight: 800; margin-bottom: 20px; } .firstname, .surname { font-size: 12px; font-family: Verdana, Arial, helvetica, sans-serif; } table { border-collapse: collapse; border-spacing: 0; border: 1px black; empty-cells: hide; margin: 10px 0 30px 50px; width: 90%; } div.table { margin: 30px 0 10px 0; border: 1px dashed gray; padding: 10px; } div .table-contents table { border: 1px solid black; } div.table > p.title { padding-left: 10px; } table[summary^="Navigation footer"] { border-collapse: collapse; border-spacing: 0; border: 1px black; empty-cells: hide; margin: 0px; width: 100%; } table[summary^="Note"], table[summary^="Warning"], table[summary^="Tip"] { border-collapse: collapse; border-spacing: 0; border: 1px black; empty-cells: hide; margin: 10px 0px 10px -20px; width: 100%; } td { padding: 4pt; font-family: Verdana, Arial, helvetica, sans-serif; } div.warning TD { text-align: justify; } h1 { font-size: 150%; } h2 { font-size: 110%; } h3 { font-size: 100%; font-weight: bold; } h4 { font-size: 90%; font-weight: bold; } h5 { font-size: 90%; font-style: italic; } h6 { font-size: 100%; font-style: italic; } tt { font-size: 110%; font-family: "Courier New", Courier, monospace; color: #000000; } .navheader, .navfooter { border: none; } div.navfooter table { border-style: dashed; border-color: gray; border-width: 1px 1px 1px 1px; background-color: #cde48d; } pre { font-size: 110%; padding: 5px; border-style: solid; border-width: 1px; border-color: #CCCCCC; background-color: #f3f5e9; } ul, ol, li { list-style: disc; } hr { width: 100%; height: 1px; background-color: #CCCCCC; border-width: 0; padding: 0; } .variablelist { padding-top: 10px; padding-bottom: 10px; margin: 0; } .term { font-weight:bold; } .mediaobject { padding-top: 30px; padding-bottom: 30px; } .legalnotice { font-family: Verdana, Arial, helvetica, sans-serif; font-size: 12px; font-style: italic; } .sidebar { float: right; margin: 10px 0 10px 30px; padding: 10px 20px 20px 20px; width: 33%; border: 1px solid black; background-color: #F4F4F4; font-size: 14px; } .property { font-family: "Courier New", Courier, monospace; } a code { font-family: Verdana, Arial, monospace; font-size: 12px; } td code { font-size: 110%; } div.note * td, div.tip * td, div.warning * td, div.calloutlist * td { text-align: justify; font-size: 100%; } .programlisting { clear: both; } .programlisting .interfacename, .programlisting .literal, .programlisting .classname { font-size: 95%; } .title .interfacename, .title .literal, .title .classname { font-size: 130%; } /* everything in a is displayed in a coloured, comment-like font */ .programlisting * .lineannotation, .programlisting * .lineannotation * { color: green; } .question * p { font-size: 100%; } .answer * p { font-size: 100%; }