<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
 body {
     font-family: sans-serif;
     font-size: 0.85em;
     margin: 2em 8em;
 }
 .methods {
     background-color: #eef;
     padding: 1em;
 }
 h1 {
     font-size: 2.5em;
 }
 h2 {
     border-bottom: 1px solid black;
     margin-top: 1em;
     margin-bottom: 0.5em;
     font-size: 1.8em;
    }
 h3 {
     color: #135C8F;
     font-size: 1.6em;
     margin-top: 1.25em;
     margin-bottom: 0em;
 }
 h4 {
     margin: 0em;
     padding: 0em;
     border-bottom: 2px solid white;
 }
 h6 {
     font-size: 1.1em;
     color: #99a;
     margin: 0.5em 0em 0.25em 0em;
 }
 a:link {
 	color: #135C8F;
 }
 a:visited {
 	color: #0A3060;
 } 
 a:hover {
 	color: #002040;
 }
 a:active {
 	color: #000000;
 } 
 dd {
     margin-left: 1em;
 }
 tt {
     font-size: 1.2em;
 }
 table {
     margin-bottom: 0.5em;
 }
 th {
     text-align: left;
     font-weight: normal;
     color: black;
     border-bottom: 1px solid black;
     padding: 3px 6px;
 }
 td {
     padding: 3px 6px;
     vertical-align: top;
     background-color: f6f6ff;
     font-size: 0.85em;
 }
 td p {
     margin: 0px;
 }
 ul {
     padding-left: 1.75em;
 }
 p + ul, p + ol, p + dl {
     margin-top: 0em;
 }
 .optional {
     font-weight: normal;
     opacity: 0.75;
 }
 
 code {
 	color: blue;
 	font-family: sans-serif;
 }</pre></body></html>