.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: 3em; margin-right: 3em }
.param_info { margin-top: 4px; margin-left: 3em; margin-right: 3em }
.code { color: #465F91; }
.typetable { border-style: hidden }
.paramstable { border-style: hidden; padding: 5pt 5pt}
tr {  }
td.typefieldcomment { font-size: smaller;}
div.sig_block {margin-left: 2em}
*:target { background: yellow; }
body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0;
/* background: linear-gradient(top left, #BBB, #DDD); */
 background: #CCC;
}
h2, h3, h4, h5, h6, div.h7, div.h8, div.h9 {
font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px; text-align:center;
}
h1 { font-size: 20pt; text-align: center; }
h2 { background-color: #90BDFF;padding: 2px; }
h3 { background-color: #90DDFF;padding: 2px; }
h4 { background-color: #90EDFF;padding: 2px; }
h5 { background-color: #90FDFF;padding: 2px; }
h6 { background-color: #90BDFF; padding: 2px; }
div.h7 { background-color: #E0FFFF; padding: 2px; }
div.h8 { background-color: #F0FFFF; padding: 2px; }
div.h9 { background-color: #FFFFFF; padding: 2px; }
a { color: #416DFF; text-decoration: none}
a:hover {background-color: #ddd; text-decoration: underline}
pre { margin-bottom: 4px; font-family: monospace; }
pre.verbatim, pre.codepre { }
.indextable {border: 1px #ddd solid; border-collapse: collapse}
.indextable td, .indextable th {border: 1px #ddd solid; min-width: 80px}
.indextable td.module {background-color: #eee;  padding-left: 2px; padding-right: 2px}
.indextable td.module a {color: 4E6272; text-decoration: none; display: block; width: 100%}
.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
.deprecated {color: #888; font-style: italic}
.indextable tr td div.info { margin-left: 2px; margin-right: 2px}
ul.indexlist { margin-left: 0; padding-left: 0;}
ul.indexlist li { list-style-type: none; margin-left: 0; padding-left: 0}