.keyword { font-weight:bold; color:Red }
.keywordsign { color:#C04600 }
.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 { background-color:White }
td.typefieldcomment { background-color:#FFFFFF; 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}
h1 { font-size:20pt; text-align:center; }
h2 { font-size:20pt; text-align:center; }
h3 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#90BDFF;padding:2px; }
h4 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#90DDFF;padding:2px; }
h5 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#90EDFF;padding:2px; }
h6 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#90FDFF;padding:2px; }
div.h7 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#90BDFF; padding:2px; }
div.h8 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#E0FFFF; padding:2px; }
div.h9 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; background-color:#F0FFFF; padding:2px; }
div.h10 { font-size:20pt; border:1px solid #000000; margin-top:5px; margin-bottom:2px;text-align:center; 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; }
ul.info-attributes {list-style:none; margin:0; padding:0; }
div.info > p:first-child { margin-top:0; }
div.info-desc > p:first-child { margin-top:0; margin-bottom:0; }

/* Dark-theme for ocamldoc */

body { background-color:#1e1e1e; color:#d4d4d4; padding-bottom:0.8em; }
a { color:#569cd6; }
a:hover { text-decoration:underline; }
h1, h2, h3, h4, h5, h6 { color:#dcdcaa; }
code, pre { color:#9cdcfe; }
th { background-color:#333; color:#dcdcaa; }
.navbar a { color:#d4d4d4; color:#007acc; }
.navbar a:hover { background-color:#444; color:#26a; }
a:hover { background-color:#161616; }
.info, .warning, .error { }
.info { color:#ddd; }
h1, h2, h3, h4, h5, h6 { background-color:#0368ba; color:#222; }
.warning { background-color:#dcdcaa; color:black; }
.error { background-color:#f44747; color:white; }
table { background-color:#252526; }
.keyword { color:#007acc; }
tr, td { background-color:#1e1e1e; }
td * { background-color:#1e1e1e; }
tr * { background-color:#1e1e1e; }
.typefieldcomment { background-color:#1e1e1e; }
.indextable td.module { background-color:#1e1e1e; }
.indextable td.module a:hover { background-color:#111; color:#007acc; }
td.typefieldcomment code { display:none; }
table.typetable { margin-left:1.0em; }
h3, h4, h5, h6 { border:none; margin-top:0.6em; }
pre { margin-left:0.5em; }
.info { margin-left:0.0em; margin-bottom:1.2em; margin-right:0.0em; }
.typetable .info { margin-bottom:0.1em; }
.info-desc p { margin-left:3.43em; }
p { margin-left:0.2em; }
.indextable { border:1px #333 solid; }
pre.codepre { border:1px #333 solid; padding:0.3em; width:62%; }
pre.codepre, pre.codepre code { background-color:#181818; }
td.typefieldcomment { padding-right:0.8em; background-color:#1e1e1e; }
td.typefieldcomment p { padding-right:2.2em; }