2020-11-19 22:47:44 +01:00
|
|
|
body {font-family:"Times New Roman",serif}
|
|
|
|
h1 {font:bold 135% Arial,sans-serif; color:#4000A0; margin-bottom:0.9em}
|
2020-11-19 23:03:56 +01:00
|
|
|
h2 {font:bold 95% Arial,sans-serif; color:#900000; margin-top:1.5em; margin-bottom:1em}
|
2020-11-19 22:47:44 +01:00
|
|
|
dl.param dt {text-decoration:underline}
|
|
|
|
dl.param dd {margin-top:1em; margin-bottom:1em}
|
|
|
|
dl.param ul {margin-top:1em; margin-bottom:1em}
|
|
|
|
tt, code, kbd {font-family:"Courier New",Courier,monospace; font-size:82%}
|
|
|
|
div.source {margin-top:1.4em; margin-bottom:1.3em}
|
|
|
|
div.source pre {display:table; border:1px solid #24246A; width:100%; margin:0em; font-family:inherit; font-size:100%}
|
|
|
|
div.source code {display:block; border:1px solid #C5C5EC; background-color:#F0F5FF; padding:6px; color:#000000}
|
|
|
|
div.doc-source {margin-top:1.4em; margin-bottom:1.3em}
|
|
|
|
div.doc-source pre {display:table; width:100%; margin:0em; font-family:inherit; font-size:100%}
|
|
|
|
div.doc-source code {display:block; background-color:#E0E0E0; padding:4px}
|
|
|
|
.kw {color:#000080; font-weight:bold}
|
|
|
|
.str {color:#CC0000}
|
|
|
|
.cmt {color:#008000}
|
|
|
|
p.demo {text-align:center; margin-top:-0.9em}
|
|
|
|
a.demo {text-decoration:none; font-weight:bold; color:#0000CC}
|
|
|
|
a.demo:link {text-decoration:none; font-weight:bold; color:#0000CC}
|
|
|
|
a.demo:hover {text-decoration:none; font-weight:bold; color:#0000FF}
|
|
|
|
a.demo:active {text-decoration:none; font-weight:bold; color:#0000FF}
|