a:visited {color : #416DFF; text-decoration : none; } a:link {color : #416DFF; text-decoration : none;} a:hover {color : Red; text-decoration : none; background-color: #5FFF88} a:active {color : Red; text-decoration : underline; } .keyword { font-weight : bold ; color : Red } .keywordsign { color : #C04600 } .superscript { font-size : 4 } .subscript { font-size : 4 } .comment { color : Green } .constructor { color : Blue } .type { color : #5C6585 } .string { color : Maroon } .warning { color : Red ; font-weight : bold } .info { margin-left : 1cm; margin-right : 2cm } .param_info { margin-top: 4px; margin-left : 1cm; margin-right : 2cm } .code { color : #465F91 ; } h1 { font-size : 20pt ; margin-top: 20pt; margin-bottom: 15t; text-align: center; padding: 5px; border: 1px solid #000000; } h2 { font-size : 20pt ; margin-top: 20pt; margin-bottom: 8pt; text-align: left; padding: 2px; margin-left: 1cm; border-bottom: 1px solid #777777; } h3 { font-size : 16pt ; margin-top: 20pt; margin-bottom: 8pt; text-align: left; padding: 2px; padding-left: 1cm; } h4 { font-size : 12pt ; margin-top: 12pt; margin-bottom: 6pt; text-align: left; padding: 2px; } h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; } h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; } div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #E0FFFF ; padding: 2px; } div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; } div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; } .typetable { border-style : hidden } .indextable { border-style : hidden } .paramstable { border-style : hidden ; padding: 5pt 5pt} body { background-color : White } td.typefieldcomment { font-size: smaller ;} pre { margin-bottom: 4px } div.sig_block {margin-left: 1cm} .picture { margin-left: 100px; } .picture-caption { font-weight: bold; padding-bottom: 10px; } .included-module-type { margin-left: 1cm; background-color: #EEE; } .included-module { margin-left: 1cm; background-color: #EEE; }