a.sourceLine{display:inline-block;line-height:1.25}a.sourceLine{pointer-events:none;color:inherit;text-decoration:inherit}a.sourceLine:empty{height:1.2em}.code,.sourceCode,.mathJaxCustom{margin-top:0.8em;margin-bottom:0.8em;overflow:auto}@media (min-width:1024px){.code,.sourceCode,.mathJaxCustom{margin-top:0.3em;margin-bottom:0.3em}}.sourceCode{overflow:visible;background:rgba(0,0,0,200);padding-left:0.2em}code.sourceCode{padding-left:0}@media (min-width:1024px){.sourceCode{overflow:visible;background:black;padding-left:0.1em}code.sourceCode{padding-left:0}}code.sourceCode{white-space:pre;position:relative;font-size:1em}code{word-wrap:break-word;white-space:normal;background:rgba(200,200,200,80);font-size:1.5em}@media (min-width:1024px){code{font-size:1.5em}}div.sourceCode{margin:1em 0}@media screen{div.sourceCode{overflow:auto;background:rgba(0,0,0,200);color:#dddddd;font-size:1.2em}@media (min-width:1024px){div.sourceCode{overflow:auto;background:black;color:#dddddd;font-size:1.6em}}}@media print{code.sourceCode{white-space:pre-wrap}a.sourceLine{text-indent:-1em;padding-left:1em}}pre.numberSource a.sourceLine{position:relative;left:-4em}pre.numberSource a.sourceLine::before{content:attr(title);position:relative;left:-1em;text-align:right;vertical-align:baseline;border:none;pointer-events:all;display:inline-block;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;padding:0 4px;width:4em;color:#aaaaaa}pre.numberSource{margin-left:3em;border-left:1px solid #aaaaaa;padding-left:4px}div.sourceCode{}@media screen{a.sourceLine::before{text-decoration:underline}}code span.al{color:#ff0000;font-weight:bold}code span.an{color:#60a0b0;font-weight:bold;font-style:italic}code span.at{color:#7d9029}code span.bn{color:#40a070}code span.bu{}code span.cf{color:#007020;font-weight:bold}code span.ch{color:#4070a0}code span.cn{color:#880000}code span.co{color:#60a0b0;font-style:italic}code span.cv{color:#60a0b0;font-weight:bold;font-style:italic}code span.do{color:#ba2121;font-style:italic}code span.dt{color:#e6e1bd;font-weight:bold}code span.dv{color:#40a070}code span.er{color:#ff0000;font-weight:bold}code span.ex{}code span.fl{color:#40a070}code span.fu{color:#dddddd}code span.im{}code span.in{color:#60a0b0;font-weight:bold;font-style:italic}code span.kw{color:#dddddd;font-weight:bold}code span.op{color:#666666;font-weight:bold}code span.ot{color:#a980c6;font-weight:bold}code span.pp{color:#bc7a00}code span.sc{color:#4070a0}code span.ss{color:#bb6688}code span.st{color:#4070a0}code span.va{color:#19177c}code span.vs{color:#4070a0}code span.wa{color:#60a0b0;font-weight:bold;font-style:italic}