html {
  font-size: 62.5%;
}

body {
  font-size: 1.5em;
  line-height: 1.6;
  font-weight: 400;
  font-family: "SF Pro Text", "SF Pro Icons", "Helvetica Neue", "Helvetica", "Arial", sans-serif;
  margin: 0;
  padding: 0;
}

hr {
  border-style: solid;
  border-bottom: none;
}

pre > code {
  display: block;
  padding: 1rem 1.5rem;
  white-space: pre;
}

p {
  margin: 0 0 10px 0;
}

h1, h2, h3, h4, h5, h6 {
  margin: 40px 0 15px 0;
}

h2, h3, h4, h5, h6 {
  margin-top: 0;
}

#container {
  position: relative;
}

#background {
  position: absolute;
  top: 0;
  left: 40%;
  right: 0;
  bottom: 0;
  z-index: 0;
  display: none;
}
@media (min-width: 768px) {
  #background {
    display: block;
  }
}

a.parent {
  text-transform: uppercase;
  font-weight: bold;
  font-size: 12px;
  margin-right: 10px;
  text-decoration: none;
}
a.parent:after {
  content: ">";
  font-size: 14px;
  margin-left: 4px;
}

div.footer {
  margin-top: 25px;
  position: relative;
  padding: 10px 0;
  text-align: center;
}
div.footer a {
  display: inline-block;
  margin: 8px;
  font-size: 1.3rem;
}

div.section {
  position: relative;
}
div.section:after {
  clear: both;
  content: "";
  display: block;
}
div.section:hover div.docs .section-link a {
  opacity: 1;
}
div.section div.docs {
  box-sizing: border-box;
  padding: 10px 8px 1px 8px;
  vertical-align: top;
  text-align: left;
}
@media (min-width: 768px) {
  div.section div.docs {
    float: left;
    width: 40%;
    min-height: 5px;
  }
}
@media (min-width: 1024px) {
  div.section div.docs {
    padding: 10px 25px 1px 50px;
  }
}
div.section div.docs .section-link {
  position: relative;
}
div.section div.docs .section-link a {
  font: 12px Arial;
  text-decoration: none;
  position: absolute;
  top: 3px;
  left: -20px;
  padding: 1px 2px;
  opacity: 0;
  -webkit-transition: opacity 0.2s linear;
}
div.section div.docs .katex-display {
  overflow-x: auto;
  overflow-y: hidden;
}
div.section div.docs pre code {
  overflow-x: auto;
}
div.section div.docs img {
  max-width: 100%;
}
div.section div.docs pre {
  margin: 15px 0 15px;
}
div.section div.code {
  padding: 14px 8px 16px 15px;
  vertical-align: top;
}
@media (min-width: 768px) {
  div.section div.code {
    margin-left: 40%;
  }
}
div.section div.code pre {
  font-size: 12px;
  word-break: break-all;
  white-space: pre-wrap;
}

.highlight .n, .highlight .nn, .highlight .nc, .highlight .nf {
  cursor: pointer;
}

code {
  padding: 0.2rem 0.5rem;
  margin: 0 0.2rem;
  font-size: 80%;
  white-space: nowrap;
  border-radius: 4px;
}

pre, tt, code {
  line-height: 18px;
  font-family: Monaco, Consolas, "Lucida Console", monospace;
  margin: 0;
  padding: 0;
}

span.lineno {
  width: 20px;
  display: inline-block;
  text-align: right;
  padding-right: 10px;
  opacity: 0.3;
  font-size: 10px;
  white-space: nowrap;
}

p > img {
  max-height: 240px;
  max-width: 240px;
  border-radius: 5px;
  cursor: pointer;
  transition: 0.3s;
}
p > img:hover {
  opacity: 0.7;
}

#modal {
  position: fixed;
  z-index: 1000;
  left: 0;
  top: 0;
  right: 0;
  bottom: 0;
  overflow: scroll;
}
#modal > div {
  padding: 100px 10px 10px 10px;
}
#modal > div > img {
  margin: auto;
  display: block;
  width: 80%;
  max-width: 700px;
}
#modal > div > p {
  margin: auto;
  display: block;
  width: 80%;
  max-width: 700px;
  text-align: center;
  padding: 10px 0;
  height: 150px;
}
#modal > div > img, #modal > div > p {
  animation-name: zoom;
  animation-duration: 0.6s;
}
@keyframes zoom {
  from {
    transform: scale(0);
  }
  to {
    transform: scale(1);
  }
}
#modal > span.close {
  position: absolute;
  top: 15px;
  right: 35px;
  font-size: 40px;
  font-weight: bold;
  transition: 0.3s;
}
#modal > span.close:hover, #modal > span.close:focus {
  text-decoration: none;
  cursor: pointer;
}

.katex span {
  cursor: default;
}
.katex span.coloredeq {
  cursor: pointer;
}
.katex span.coloredeq span {
  cursor: pointer;
}

@media only screen and (max-width: 700px) {
  #modal > img {
    width: 100%;
  }
}
body {
  color: #999;
  background: #1d2127;
}

hr {
  border-color: #555;
}

a {
  color: #bbb;
}
a:visited {
  color: #aaa;
}

#container {
  background: #1d2127;
}

div.section {
  border-top: 1px solid #353745;
}

#background {
  background: #282a36;
  border-left: 1px solid #293340;
}

div.footer {
  background: #30353d;
}
div.footer a {
  display: inline-block;
  margin: 5px;
}

a.parent {
  color: #ffffff;
}
a.parent:after {
  color: #aaa;
}

div.section:hover {
  background: #080a16;
}
div.section:hover div.code {
  background: #080a16;
}
div.section div.docs .section-link a {
  color: #454545;
}
div.section div.docs p tt, div.section div.docs li code, div.section div.docs ol code, div.section div.docs p code {
  background: #282a36;
  color: #ccc;
}
div.section div.code {
  background: #282a36;
}

div.doc-strings {
  color: #ccc;
}

.mjx-chtml {
  color: #ccc;
}

code {
  background: #282a36;
  border: 1px solid #484a56;
}

#modal {
  background-color: rgba(0, 0, 0, 0.9);
}
#modal > div > p {
  color: #ccc;
}
#modal > span.close {
  color: #f1f1f1;
}
#modal:hover, #modal:focus {
  color: #bbb;
}

.highlight {
  color: #f8f8f2;
}
.highlight .hll {
  background-color: #f1fa8c;
}
.highlight .c {
  color: #6272a4;
}
.highlight .err {
  color: #f8f8f2;
}
.highlight .g {
  color: #f8f8f2;
}
.highlight .k {
  color: #ff79c6;
}
.highlight .l {
  color: #f8f8f2;
}
.highlight .n {
  color: #f8f8f2;
}
.highlight .o {
  color: #ff4996;
}
.highlight .x {
  color: #f8f8f2;
}
.highlight .p {
  color: #a8a8a2;
}
.highlight .ch {
  color: #6272a4;
}
.highlight .cm {
  color: #6272a4;
}
.highlight .cp {
  color: #ff79c6;
}
.highlight .cpf {
  color: #6272a4;
}
.highlight .c1 {
  color: #6272a4;
}
.highlight .cs {
  color: #6272a4;
}
.highlight .gd {
  color: #8b080b;
}
.highlight .ge {
  color: #f8f8f2;
  text-decoration: underline;
}
.highlight .gr {
  color: #f8f8f2;
}
.highlight .gh {
  color: #f8f8f2;
  font-weight: bold;
}
.highlight .gi {
  color: #f8f8f2;
  font-weight: bold;
}
.highlight .go {
  color: #44475a;
}
.highlight .gp {
  color: #f8f8f2;
}
.highlight .gs {
  color: #f8f8f2;
}
.highlight .gu {
  color: #f8f8f2;
  font-weight: bold;
}
.highlight .gt {
  color: #f8f8f2;
}
.highlight .kc {
  color: #ff79c6;
}
.highlight .kd {
  color: #8be9fd;
  font-style: italic;
}
.highlight .kn {
  color: #ff79c6;
}
.highlight .kp {
  color: #ff79c6;
}
.highlight .kr {
  color: #ff79c6;
}
.highlight .kt {
  color: #8be9fd;
}
.highlight .ld {
  color: #f8f8f2;
}
.highlight .m {
  color: #bd93f9;
}
.highlight .s {
  color: #f1fa8c;
}
.highlight .na {
  color: #50fa7b;
}
.highlight .nb {
  color: #8be9fd;
  font-style: italic;
}
.highlight .nc {
  color: #ffb86c;
  font-weight: bold;
}
.highlight .no {
  color: #f8f8f2;
}
.highlight .nd {
  color: #9d93ff;
}
.highlight .ni {
  color: #f8f8f2;
}
.highlight .ne {
  color: #d8d8d2;
  font-style: italic;
}
.highlight .nf {
  color: #ffb86c;
}
.highlight .nl {
  color: #8be9fd;
  font-style: italic;
}
.highlight .nn {
  color: #f8f8f2;
}
.highlight .nx {
  color: #f8f8f2;
}
.highlight .py {
  color: #f8f8f2;
}
.highlight .nt {
  color: #ff79c6;
}
.highlight .nv {
  color: #8be9fd;
  font-style: italic;
}
.highlight .ow {
  color: #ff79c6;
}
.highlight .w {
  color: #f8f8f2;
}
.highlight .mb {
  color: #bd93f9;
}
.highlight .mf {
  color: #bd93f9;
}
.highlight .mh {
  color: #bd93f9;
}
.highlight .mi {
  color: #bd93f9;
}
.highlight .mo {
  color: #bd93f9;
}
.highlight .sa {
  color: #f1fa8c;
}
.highlight .sb {
  color: #f1fa8c;
}
.highlight .sc {
  color: #f1fa8c;
}
.highlight .dl {
  color: #f1fa8c;
}
.highlight .sd {
  color: #f1fa8c;
}
.highlight .s2 {
  color: #f1fa8c;
}
.highlight .se {
  color: #f1fa8c;
}
.highlight .sh {
  color: #f1fa8c;
}
.highlight .si {
  color: #f1fa8c;
}
.highlight .sx {
  color: #f1fa8c;
}
.highlight .sr {
  color: #f1fa8c;
}
.highlight .s1 {
  color: #f1fa8c;
}
.highlight .ss {
  color: #f1fa8c;
}
.highlight .bp {
  color: #50fa7b;
}
.highlight .fm {
  color: #ffb86c;
  font-style: italic;
}
.highlight .vc {
  color: #8be9fd;
  font-style: italic;
}
.highlight .vg {
  color: #8be9fd;
  font-style: italic;
}
.highlight .vi {
  color: #8be9fd;
  font-style: italic;
}
.highlight .vm {
  color: #8be9fd;
  font-style: italic;
}
.highlight .il {
  color: #bd93f9;
}

body.lights-off .highlight .clicked, body.lights-off .katex .clicked {
  color: #00ffff !important;
  text-shadow: 0 0 20px #00ffff;
}

body.lights-off .highlight {
  color: whitesmoke;
}
body.lights-off .highlight .hll {
  background-color: #c3c3c3;
}
body.lights-off .highlight .c {
  color: #838383;
}
body.lights-off .highlight .err {
  color: whitesmoke;
}
body.lights-off .highlight .g {
  color: whitesmoke;
}
body.lights-off .highlight .k {
  color: #bcbcbc;
}
body.lights-off .highlight .l {
  color: whitesmoke;
}
body.lights-off .highlight .n {
  color: whitesmoke;
}
body.lights-off .highlight .o {
  color: #a4a4a4;
}
body.lights-off .highlight .x {
  color: whitesmoke;
}
body.lights-off .highlight .p {
  color: #a5a5a5;
}
body.lights-off .highlight .ch {
  color: #838383;
}
body.lights-off .highlight .cm {
  color: #838383;
}
body.lights-off .highlight .cp {
  color: #bcbcbc;
}
body.lights-off .highlight .cpf {
  color: #838383;
}
body.lights-off .highlight .c1 {
  color: #838383;
}
body.lights-off .highlight .cs {
  color: #838383;
}
body.lights-off .highlight .gd {
  color: #4a4a4a;
}
body.lights-off .highlight .ge {
  color: whitesmoke;
}
body.lights-off .highlight .gr {
  color: whitesmoke;
}
body.lights-off .highlight .gh {
  color: whitesmoke;
  font-weight: bold;
}
body.lights-off .highlight .gi {
  color: whitesmoke;
}
body.lights-off .highlight .go {
  color: #4f4f4f;
}
body.lights-off .highlight .gp {
  color: whitesmoke;
}
body.lights-off .highlight .gs {
  color: whitesmoke;
}
body.lights-off .highlight .gu {
  color: whitesmoke;
}
body.lights-off .highlight .gt {
  color: whitesmoke;
}
body.lights-off .highlight .kc {
  color: #bcbcbc;
}
body.lights-off .highlight .kd {
  color: #c4c4c4;
  font-style: italic;
}
body.lights-off .highlight .kn {
  color: #bcbcbc;
}
body.lights-off .highlight .kp {
  color: #bcbcbc;
}
body.lights-off .highlight .kr {
  color: #bcbcbc;
}
body.lights-off .highlight .kt {
  color: #c4c4c4;
}
body.lights-off .highlight .ld {
  color: whitesmoke;
}
body.lights-off .highlight .m {
  color: #c6c6c6;
}
body.lights-off .highlight .s {
  color: #c3c3c3;
}
body.lights-off .highlight .na {
  color: #a5a5a5;
}
body.lights-off .highlight .nb {
  color: #c4c4c4;
}
body.lights-off .highlight .nc {
  color: #b6b6b6;
}
body.lights-off .highlight .no {
  color: whitesmoke;
}
body.lights-off .highlight .nd {
  color: #c9c9c9;
}
body.lights-off .highlight .ni {
  color: whitesmoke;
}
body.lights-off .highlight .ne {
  color: #d5d5d5;
}
body.lights-off .highlight .nf {
  color: #b6b6b6;
}
body.lights-off .highlight .nl {
  color: #c4c4c4;
}
body.lights-off .highlight .nn {
  color: whitesmoke;
}
body.lights-off .highlight .nx {
  color: whitesmoke;
}
body.lights-off .highlight .py {
  color: whitesmoke;
}
body.lights-off .highlight .nt {
  color: #bcbcbc;
}
body.lights-off .highlight .nv {
  color: #c4c4c4;
}
body.lights-off .highlight .ow {
  color: #bcbcbc;
}
body.lights-off .highlight .w {
  color: whitesmoke;
}
body.lights-off .highlight .mb {
  color: #c6c6c6;
}
body.lights-off .highlight .mf {
  color: #c6c6c6;
}
body.lights-off .highlight .mh {
  color: #c6c6c6;
}
body.lights-off .highlight .mi {
  color: #c6c6c6;
}
body.lights-off .highlight .mo {
  color: #c6c6c6;
}
body.lights-off .highlight .sa {
  color: #c3c3c3;
}
body.lights-off .highlight .sb {
  color: #c3c3c3;
}
body.lights-off .highlight .sc {
  color: #c3c3c3;
}
body.lights-off .highlight .dl {
  color: #c3c3c3;
}
body.lights-off .highlight .sd {
  color: #c3c3c3;
}
body.lights-off .highlight .s2 {
  color: #c3c3c3;
}
body.lights-off .highlight .se {
  color: #c3c3c3;
}
body.lights-off .highlight .sh {
  color: #c3c3c3;
}
body.lights-off .highlight .si {
  color: #c3c3c3;
}
body.lights-off .highlight .sx {
  color: #c3c3c3;
}
body.lights-off .highlight .sr {
  color: #c3c3c3;
}
body.lights-off .highlight .s1 {
  color: #c3c3c3;
}
body.lights-off .highlight .ss {
  color: #c3c3c3;
}
body.lights-off .highlight .bp {
  color: #a5a5a5;
}
body.lights-off .highlight .fm {
  color: #b6b6b6;
}
body.lights-off .highlight .vc {
  color: #c4c4c4;
}
body.lights-off .highlight .vg {
  color: #c4c4c4;
}
body.lights-off .highlight .vi {
  color: #c4c4c4;
}
body.lights-off .highlight .vm {
  color: #c4c4c4;
}
body.lights-off .highlight .il {
  color: #c6c6c6;
}

@media (prefers-color-scheme: dark) {
  body {
    color: #999;
    background: #1d2127;
  }

  hr {
    border-color: #555;
  }

  a {
    color: #bbb;
  }
  a:visited {
    color: #aaa;
  }

  #container {
    background: #1d2127;
  }

  div.section {
    border-top: 1px solid #353745;
  }

  #background {
    background: #282a36;
    border-left: 1px solid #293340;
  }

  div.footer {
    background: #30353d;
  }
  div.footer a {
    display: inline-block;
    margin: 5px;
  }

  a.parent {
    color: #ffffff;
  }
  a.parent:after {
    color: #aaa;
  }

  div.section:hover {
    background: #080a16;
  }
  div.section:hover div.code {
    background: #080a16;
  }
  div.section div.docs .section-link a {
    color: #454545;
  }
  div.section div.docs p tt, div.section div.docs li code, div.section div.docs ol code, div.section div.docs p code {
    background: #282a36;
    color: #ccc;
  }
  div.section div.code {
    background: #282a36;
  }

  div.doc-strings {
    color: #ccc;
  }

  .mjx-chtml {
    color: #ccc;
  }

  code {
    background: #282a36;
    border: 1px solid #484a56;
  }

  #modal {
    background-color: rgba(0, 0, 0, 0.9);
  }
  #modal > div > p {
    color: #ccc;
  }
  #modal > span.close {
    color: #f1f1f1;
  }
  #modal:hover, #modal:focus {
    color: #bbb;
  }

  .highlight {
    color: #f8f8f2;
  }
  .highlight .hll {
    background-color: #f1fa8c;
  }
  .highlight .c {
    color: #6272a4;
  }
  .highlight .err {
    color: #f8f8f2;
  }
  .highlight .g {
    color: #f8f8f2;
  }
  .highlight .k {
    color: #ff79c6;
  }
  .highlight .l {
    color: #f8f8f2;
  }
  .highlight .n {
    color: #f8f8f2;
  }
  .highlight .o {
    color: #ff4996;
  }
  .highlight .x {
    color: #f8f8f2;
  }
  .highlight .p {
    color: #a8a8a2;
  }
  .highlight .ch {
    color: #6272a4;
  }
  .highlight .cm {
    color: #6272a4;
  }
  .highlight .cp {
    color: #ff79c6;
  }
  .highlight .cpf {
    color: #6272a4;
  }
  .highlight .c1 {
    color: #6272a4;
  }
  .highlight .cs {
    color: #6272a4;
  }
  .highlight .gd {
    color: #8b080b;
  }
  .highlight .ge {
    color: #f8f8f2;
    text-decoration: underline;
  }
  .highlight .gr {
    color: #f8f8f2;
  }
  .highlight .gh {
    color: #f8f8f2;
    font-weight: bold;
  }
  .highlight .gi {
    color: #f8f8f2;
    font-weight: bold;
  }
  .highlight .go {
    color: #44475a;
  }
  .highlight .gp {
    color: #f8f8f2;
  }
  .highlight .gs {
    color: #f8f8f2;
  }
  .highlight .gu {
    color: #f8f8f2;
    font-weight: bold;
  }
  .highlight .gt {
    color: #f8f8f2;
  }
  .highlight .kc {
    color: #ff79c6;
  }
  .highlight .kd {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .kn {
    color: #ff79c6;
  }
  .highlight .kp {
    color: #ff79c6;
  }
  .highlight .kr {
    color: #ff79c6;
  }
  .highlight .kt {
    color: #8be9fd;
  }
  .highlight .ld {
    color: #f8f8f2;
  }
  .highlight .m {
    color: #bd93f9;
  }
  .highlight .s {
    color: #f1fa8c;
  }
  .highlight .na {
    color: #50fa7b;
  }
  .highlight .nb {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .nc {
    color: #ffb86c;
    font-weight: bold;
  }
  .highlight .no {
    color: #f8f8f2;
  }
  .highlight .nd {
    color: #9d93ff;
  }
  .highlight .ni {
    color: #f8f8f2;
  }
  .highlight .ne {
    color: #d8d8d2;
    font-style: italic;
  }
  .highlight .nf {
    color: #ffb86c;
  }
  .highlight .nl {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .nn {
    color: #f8f8f2;
  }
  .highlight .nx {
    color: #f8f8f2;
  }
  .highlight .py {
    color: #f8f8f2;
  }
  .highlight .nt {
    color: #ff79c6;
  }
  .highlight .nv {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .ow {
    color: #ff79c6;
  }
  .highlight .w {
    color: #f8f8f2;
  }
  .highlight .mb {
    color: #bd93f9;
  }
  .highlight .mf {
    color: #bd93f9;
  }
  .highlight .mh {
    color: #bd93f9;
  }
  .highlight .mi {
    color: #bd93f9;
  }
  .highlight .mo {
    color: #bd93f9;
  }
  .highlight .sa {
    color: #f1fa8c;
  }
  .highlight .sb {
    color: #f1fa8c;
  }
  .highlight .sc {
    color: #f1fa8c;
  }
  .highlight .dl {
    color: #f1fa8c;
  }
  .highlight .sd {
    color: #f1fa8c;
  }
  .highlight .s2 {
    color: #f1fa8c;
  }
  .highlight .se {
    color: #f1fa8c;
  }
  .highlight .sh {
    color: #f1fa8c;
  }
  .highlight .si {
    color: #f1fa8c;
  }
  .highlight .sx {
    color: #f1fa8c;
  }
  .highlight .sr {
    color: #f1fa8c;
  }
  .highlight .s1 {
    color: #f1fa8c;
  }
  .highlight .ss {
    color: #f1fa8c;
  }
  .highlight .bp {
    color: #50fa7b;
  }
  .highlight .fm {
    color: #ffb86c;
    font-style: italic;
  }
  .highlight .vc {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .vg {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .vi {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .vm {
    color: #8be9fd;
    font-style: italic;
  }
  .highlight .il {
    color: #bd93f9;
  }

  body.lights-off .highlight .clicked, body.lights-off .katex .clicked {
    color: #00ffff !important;
    text-shadow: 0 0 20px #00ffff;
  }

  body.lights-off .highlight {
    color: whitesmoke;
  }
  body.lights-off .highlight .hll {
    background-color: #c3c3c3;
  }
  body.lights-off .highlight .c {
    color: #838383;
  }
  body.lights-off .highlight .err {
    color: whitesmoke;
  }
  body.lights-off .highlight .g {
    color: whitesmoke;
  }
  body.lights-off .highlight .k {
    color: #bcbcbc;
  }
  body.lights-off .highlight .l {
    color: whitesmoke;
  }
  body.lights-off .highlight .n {
    color: whitesmoke;
  }
  body.lights-off .highlight .o {
    color: #a4a4a4;
  }
  body.lights-off .highlight .x {
    color: whitesmoke;
  }
  body.lights-off .highlight .p {
    color: #a5a5a5;
  }
  body.lights-off .highlight .ch {
    color: #838383;
  }
  body.lights-off .highlight .cm {
    color: #838383;
  }
  body.lights-off .highlight .cp {
    color: #bcbcbc;
  }
  body.lights-off .highlight .cpf {
    color: #838383;
  }
  body.lights-off .highlight .c1 {
    color: #838383;
  }
  body.lights-off .highlight .cs {
    color: #838383;
  }
  body.lights-off .highlight .gd {
    color: #4a4a4a;
  }
  body.lights-off .highlight .ge {
    color: whitesmoke;
  }
  body.lights-off .highlight .gr {
    color: whitesmoke;
  }
  body.lights-off .highlight .gh {
    color: whitesmoke;
    font-weight: bold;
  }
  body.lights-off .highlight .gi {
    color: whitesmoke;
  }
  body.lights-off .highlight .go {
    color: #4f4f4f;
  }
  body.lights-off .highlight .gp {
    color: whitesmoke;
  }
  body.lights-off .highlight .gs {
    color: whitesmoke;
  }
  body.lights-off .highlight .gu {
    color: whitesmoke;
  }
  body.lights-off .highlight .gt {
    color: whitesmoke;
  }
  body.lights-off .highlight .kc {
    color: #bcbcbc;
  }
  body.lights-off .highlight .kd {
    color: #c4c4c4;
    font-style: italic;
  }
  body.lights-off .highlight .kn {
    color: #bcbcbc;
  }
  body.lights-off .highlight .kp {
    color: #bcbcbc;
  }
  body.lights-off .highlight .kr {
    color: #bcbcbc;
  }
  body.lights-off .highlight .kt {
    color: #c4c4c4;
  }
  body.lights-off .highlight .ld {
    color: whitesmoke;
  }
  body.lights-off .highlight .m {
    color: #c6c6c6;
  }
  body.lights-off .highlight .s {
    color: #c3c3c3;
  }
  body.lights-off .highlight .na {
    color: #a5a5a5;
  }
  body.lights-off .highlight .nb {
    color: #c4c4c4;
  }
  body.lights-off .highlight .nc {
    color: #b6b6b6;
  }
  body.lights-off .highlight .no {
    color: whitesmoke;
  }
  body.lights-off .highlight .nd {
    color: #c9c9c9;
  }
  body.lights-off .highlight .ni {
    color: whitesmoke;
  }
  body.lights-off .highlight .ne {
    color: #d5d5d5;
  }
  body.lights-off .highlight .nf {
    color: #b6b6b6;
  }
  body.lights-off .highlight .nl {
    color: #c4c4c4;
  }
  body.lights-off .highlight .nn {
    color: whitesmoke;
  }
  body.lights-off .highlight .nx {
    color: whitesmoke;
  }
  body.lights-off .highlight .py {
    color: whitesmoke;
  }
  body.lights-off .highlight .nt {
    color: #bcbcbc;
  }
  body.lights-off .highlight .nv {
    color: #c4c4c4;
  }
  body.lights-off .highlight .ow {
    color: #bcbcbc;
  }
  body.lights-off .highlight .w {
    color: whitesmoke;
  }
  body.lights-off .highlight .mb {
    color: #c6c6c6;
  }
  body.lights-off .highlight .mf {
    color: #c6c6c6;
  }
  body.lights-off .highlight .mh {
    color: #c6c6c6;
  }
  body.lights-off .highlight .mi {
    color: #c6c6c6;
  }
  body.lights-off .highlight .mo {
    color: #c6c6c6;
  }
  body.lights-off .highlight .sa {
    color: #c3c3c3;
  }
  body.lights-off .highlight .sb {
    color: #c3c3c3;
  }
  body.lights-off .highlight .sc {
    color: #c3c3c3;
  }
  body.lights-off .highlight .dl {
    color: #c3c3c3;
  }
  body.lights-off .highlight .sd {
    color: #c3c3c3;
  }
  body.lights-off .highlight .s2 {
    color: #c3c3c3;
  }
  body.lights-off .highlight .se {
    color: #c3c3c3;
  }
  body.lights-off .highlight .sh {
    color: #c3c3c3;
  }
  body.lights-off .highlight .si {
    color: #c3c3c3;
  }
  body.lights-off .highlight .sx {
    color: #c3c3c3;
  }
  body.lights-off .highlight .sr {
    color: #c3c3c3;
  }
  body.lights-off .highlight .s1 {
    color: #c3c3c3;
  }
  body.lights-off .highlight .ss {
    color: #c3c3c3;
  }
  body.lights-off .highlight .bp {
    color: #a5a5a5;
  }
  body.lights-off .highlight .fm {
    color: #b6b6b6;
  }
  body.lights-off .highlight .vc {
    color: #c4c4c4;
  }
  body.lights-off .highlight .vg {
    color: #c4c4c4;
  }
  body.lights-off .highlight .vi {
    color: #c4c4c4;
  }
  body.lights-off .highlight .vm {
    color: #c4c4c4;
  }
  body.lights-off .highlight .il {
    color: #c6c6c6;
  }
}
@media (prefers-color-scheme: light) {
  body {
    color: #777;
    background: #ecf0f3;
  }

  hr {
    border-color: #555;
  }

  a {
    color: #666;
  }
  a:visited {
    color: #777;
  }

  #container {
    background: #ecf0f3;
  }

  div.section {
    border-top: 1px solid #e2e2eb;
  }

  #background {
    background: #ebedef;
    border-left: 1px solid #e2e2eb;
  }

  div.footer {
    background: #d5dbe0;
  }
  div.footer a {
    display: inline-block;
    margin: 5px;
  }

  a.parent {
    color: #000000;
  }
  a.parent:after {
    color: #666666;
  }

  div.section:hover {
    background: #f8fafb;
  }
  div.section:hover div.code {
    background: #f8fafb;
  }
  div.section div.docs .section-link a {
    color: #454545;
  }
  div.section div.docs p tt, div.section div.docs li code, div.section div.docs ol code, div.section div.docs p code {
    background: #ebedef;
    color: #666;
  }
  div.section div.code {
    background: #ebedef;
  }

  div.doc-strings {
    color: #555;
  }

  .mjx-chtml {
    color: #555;
  }

  code {
    background: #ebedef;
    border: 1px solid #cacddc;
  }

  #modal {
    background-color: rgba(0, 0, 0, 0.9);
  }
  #modal > div > p {
    color: #ccc;
  }
  #modal > span.close {
    color: #f1f1f1;
  }
  #modal:hover, #modal:focus {
    color: #bbb;
  }

  .highlight {
    color: #060606;
  }
  .highlight .hll {
    background-color: #18c043;
  }
  .highlight .c {
    color: #213c93;
  }
  .highlight .err {
    color: #060606;
  }
  .highlight .g {
    color: #060606;
  }
  .highlight .k {
    color: #eb339d;
  }
  .highlight .l {
    color: #060606;
  }
  .highlight .n {
    color: #060606;
  }
  .highlight .o {
    color: #ff4996;
  }
  .highlight .x {
    color: #060606;
  }
  .highlight .p {
    color: #c9c900;
  }
  .highlight .ch {
    color: #213c93;
  }
  .highlight .cm {
    color: #213c93;
  }
  .highlight .cp {
    color: #eb339d;
  }
  .highlight .cpf {
    color: #213c93;
  }
  .highlight .c1 {
    color: #213c93;
  }
  .highlight .cs {
    color: #213c93;
  }
  .highlight .gd {
    color: #8b080b;
  }
  .highlight .ge {
    color: #060606;
    text-decoration: underline;
  }
  .highlight .gr {
    color: #060606;
  }
  .highlight .gh {
    color: #060606;
    font-weight: bold;
  }
  .highlight .gi {
    color: #060606;
    font-weight: bold;
  }
  .highlight .go {
    color: #44475a;
  }
  .highlight .gp {
    color: #060606;
  }
  .highlight .gs {
    color: #060606;
  }
  .highlight .gu {
    color: #060606;
    font-weight: bold;
  }
  .highlight .gt {
    color: #060606;
  }
  .highlight .kc {
    color: #eb339d;
  }
  .highlight .kd {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .kn {
    color: #eb339d;
  }
  .highlight .kp {
    color: #eb339d;
  }
  .highlight .kr {
    color: #eb339d;
  }
  .highlight .kt {
    color: #00cbf6;
  }
  .highlight .ld {
    color: #060606;
  }
  .highlight .m {
    color: #733fbe;
  }
  .highlight .s {
    color: #18c043;
  }
  .highlight .na {
    color: #25da53;
  }
  .highlight .nb {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .nc {
    color: #ff8707;
    font-weight: bold;
  }
  .highlight .no {
    color: #060606;
  }
  .highlight .nd {
    color: #332b80;
  }
  .highlight .ni {
    color: #060606;
  }
  .highlight .ne {
    color: #b7b702;
    font-style: italic;
  }
  .highlight .nf {
    color: #ff8707;
  }
  .highlight .nl {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .nn {
    color: #060606;
  }
  .highlight .nx {
    color: #060606;
  }
  .highlight .py {
    color: #060606;
  }
  .highlight .nt {
    color: #eb339d;
  }
  .highlight .nv {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .ow {
    color: #eb339d;
  }
  .highlight .w {
    color: #060606;
  }
  .highlight .mb {
    color: #733fbe;
  }
  .highlight .mf {
    color: #733fbe;
  }
  .highlight .mh {
    color: #733fbe;
  }
  .highlight .mi {
    color: #733fbe;
  }
  .highlight .mo {
    color: #733fbe;
  }
  .highlight .sa {
    color: #18c043;
  }
  .highlight .sb {
    color: #18c043;
  }
  .highlight .sc {
    color: #18c043;
  }
  .highlight .dl {
    color: #18c043;
  }
  .highlight .sd {
    color: #18c043;
  }
  .highlight .s2 {
    color: #18c043;
  }
  .highlight .se {
    color: #18c043;
  }
  .highlight .sh {
    color: #18c043;
  }
  .highlight .si {
    color: #18c043;
  }
  .highlight .sx {
    color: #18c043;
  }
  .highlight .sr {
    color: #18c043;
  }
  .highlight .s1 {
    color: #18c043;
  }
  .highlight .ss {
    color: #18c043;
  }
  .highlight .bp {
    color: #25da53;
  }
  .highlight .fm {
    color: #ff8707;
    font-style: italic;
  }
  .highlight .vc {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .vg {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .vi {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .vm {
    color: #00cbf6;
    font-style: italic;
  }
  .highlight .il {
    color: #733fbe;
  }

  body.lights-off .highlight .clicked, body.lights-off .katex .clicked {
    color: #00ccff !important;
    text-shadow: 0 0 20px #00ccff;
  }

  body.lights-off .highlight {
    color: #060606;
  }
  body.lights-off .highlight .hll {
    background-color: #6c6c6c;
  }
  body.lights-off .highlight .c {
    color: #5a5a5a;
  }
  body.lights-off .highlight .err {
    color: #060606;
  }
  body.lights-off .highlight .g {
    color: #060606;
  }
  body.lights-off .highlight .k {
    color: #8f8f8f;
  }
  body.lights-off .highlight .l {
    color: #060606;
  }
  body.lights-off .highlight .n {
    color: #060606;
  }
  body.lights-off .highlight .o {
    color: #a4a4a4;
  }
  body.lights-off .highlight .x {
    color: #060606;
  }
  body.lights-off .highlight .p {
    color: #656565;
  }
  body.lights-off .highlight .ch {
    color: #5a5a5a;
  }
  body.lights-off .highlight .cm {
    color: #5a5a5a;
  }
  body.lights-off .highlight .cp {
    color: #8f8f8f;
  }
  body.lights-off .highlight .cpf {
    color: #5a5a5a;
  }
  body.lights-off .highlight .c1 {
    color: #5a5a5a;
  }
  body.lights-off .highlight .cs {
    color: #5a5a5a;
  }
  body.lights-off .highlight .gd {
    color: #4a4a4a;
  }
  body.lights-off .highlight .ge {
    color: #060606;
  }
  body.lights-off .highlight .gr {
    color: #060606;
  }
  body.lights-off .highlight .gh {
    color: #060606;
    font-weight: bold;
  }
  body.lights-off .highlight .gi {
    color: #060606;
  }
  body.lights-off .highlight .go {
    color: #4f4f4f;
  }
  body.lights-off .highlight .gp {
    color: #060606;
  }
  body.lights-off .highlight .gs {
    color: #060606;
  }
  body.lights-off .highlight .gu {
    color: #060606;
  }
  body.lights-off .highlight .gt {
    color: #060606;
  }
  body.lights-off .highlight .kc {
    color: #8f8f8f;
  }
  body.lights-off .highlight .kd {
    color: #7b7b7b;
    font-style: italic;
  }
  body.lights-off .highlight .kn {
    color: #8f8f8f;
  }
  body.lights-off .highlight .kp {
    color: #8f8f8f;
  }
  body.lights-off .highlight .kr {
    color: #8f8f8f;
  }
  body.lights-off .highlight .kt {
    color: #7b7b7b;
  }
  body.lights-off .highlight .ld {
    color: #060606;
  }
  body.lights-off .highlight .m {
    color: #7f7f7f;
  }
  body.lights-off .highlight .s {
    color: #6c6c6c;
  }
  body.lights-off .highlight .na {
    color: gray;
  }
  body.lights-off .highlight .nb {
    color: #7b7b7b;
  }
  body.lights-off .highlight .nc {
    color: #838383;
  }
  body.lights-off .highlight .no {
    color: #060606;
  }
  body.lights-off .highlight .nd {
    color: #565656;
  }
  body.lights-off .highlight .ni {
    color: #060606;
  }
  body.lights-off .highlight .ne {
    color: #5d5d5d;
  }
  body.lights-off .highlight .nf {
    color: #838383;
  }
  body.lights-off .highlight .nl {
    color: #7b7b7b;
  }
  body.lights-off .highlight .nn {
    color: #060606;
  }
  body.lights-off .highlight .nx {
    color: #060606;
  }
  body.lights-off .highlight .py {
    color: #060606;
  }
  body.lights-off .highlight .nt {
    color: #8f8f8f;
  }
  body.lights-off .highlight .nv {
    color: #7b7b7b;
  }
  body.lights-off .highlight .ow {
    color: #8f8f8f;
  }
  body.lights-off .highlight .w {
    color: #060606;
  }
  body.lights-off .highlight .mb {
    color: #7f7f7f;
  }
  body.lights-off .highlight .mf {
    color: #7f7f7f;
  }
  body.lights-off .highlight .mh {
    color: #7f7f7f;
  }
  body.lights-off .highlight .mi {
    color: #7f7f7f;
  }
  body.lights-off .highlight .mo {
    color: #7f7f7f;
  }
  body.lights-off .highlight .sa {
    color: #6c6c6c;
  }
  body.lights-off .highlight .sb {
    color: #6c6c6c;
  }
  body.lights-off .highlight .sc {
    color: #6c6c6c;
  }
  body.lights-off .highlight .dl {
    color: #6c6c6c;
  }
  body.lights-off .highlight .sd {
    color: #6c6c6c;
  }
  body.lights-off .highlight .s2 {
    color: #6c6c6c;
  }
  body.lights-off .highlight .se {
    color: #6c6c6c;
  }
  body.lights-off .highlight .sh {
    color: #6c6c6c;
  }
  body.lights-off .highlight .si {
    color: #6c6c6c;
  }
  body.lights-off .highlight .sx {
    color: #6c6c6c;
  }
  body.lights-off .highlight .sr {
    color: #6c6c6c;
  }
  body.lights-off .highlight .s1 {
    color: #6c6c6c;
  }
  body.lights-off .highlight .ss {
    color: #6c6c6c;
  }
  body.lights-off .highlight .bp {
    color: gray;
  }
  body.lights-off .highlight .fm {
    color: #838383;
  }
  body.lights-off .highlight .vc {
    color: #7b7b7b;
  }
  body.lights-off .highlight .vg {
    color: #7b7b7b;
  }
  body.lights-off .highlight .vi {
    color: #7b7b7b;
  }
  body.lights-off .highlight .vm {
    color: #7b7b7b;
  }
  body.lights-off .highlight .il {
    color: #7f7f7f;
  }
}

/*# sourceMappingURL=pylit.css.map */