.dark-theme .highlight table td { padding: 5px; }
.dark-theme .highlight table pre { margin: 0; }
.dark-theme .highlight, .dark-theme .highlight .w {
  color: #d8d8d8;
  background-color: #181818;
}
.dark-theme .highlight .err {
  color: #181818;
  background-color: #ab4642;
}
.dark-theme .highlight .c, .dark-theme .highlight .ch, .dark-theme .highlight .cd, .dark-theme .highlight .cm, .dark-theme .highlight .cpf, .dark-theme .highlight .c1, .dark-theme .highlight .cs {
  color: #585858;
}
.dark-theme .highlight .cp {
  color: #f7ca88;
}
.dark-theme .highlight .nt {
  color: #f7ca88;
}
.dark-theme .highlight .o, .dark-theme .highlight .ow {
  color: #d8d8d8;
}
.dark-theme .highlight .p, .dark-theme .highlight .pi {
  color: #d8d8d8;
}
.dark-theme .highlight .gi {
  color: #a1b56c;
}
.dark-theme .highlight .gd {
  color: #ab4642;
}
.dark-theme .highlight .gh {
  color: #7cafc2;
  background-color: #181818;
  font-weight: bold;
}
.dark-theme .highlight .ge {
  font-style: italic;
}
.dark-theme .highlight .ges {
  font-weight: bold;
  font-style: italic;
}
.dark-theme .highlight .gs {
  font-weight: bold;
}
.dark-theme .highlight .k, .dark-theme .highlight .kn, .dark-theme .highlight .kp, .dark-theme .highlight .kr, .dark-theme .highlight .kv {
  color: #ba8baf;
}
.dark-theme .highlight .kc {
  color: #dc9656;
}
.dark-theme .highlight .kt {
  color: #dc9656;
}
.dark-theme .highlight .kd {
  color: #dc9656;
}
.dark-theme .highlight .s, .dark-theme .highlight .sb, .dark-theme .highlight .sc, .dark-theme .highlight .dl, .dark-theme .highlight .sd, .dark-theme .highlight .s2, .dark-theme .highlight .sh, .dark-theme .highlight .sx, .dark-theme .highlight .s1 {
  color: #a1b56c;
}
.dark-theme .highlight .sa {
  color: #ba8baf;
}
.dark-theme .highlight .sr {
  color: #86c1b9;
}
.dark-theme .highlight .si {
  color: #a16946;
}
.dark-theme .highlight .se {
  color: #a16946;
}
.dark-theme .highlight .nn {
  color: #f7ca88;
}
.dark-theme .highlight .nc {
  color: #f7ca88;
}
.dark-theme .highlight .no {
  color: #f7ca88;
}
.dark-theme .highlight .na {
  color: #7cafc2;
}
.dark-theme .highlight .m, .dark-theme .highlight .mb, .dark-theme .highlight .mf, .dark-theme .highlight .mh, .dark-theme .highlight .mi, .dark-theme .highlight .il, .dark-theme .highlight .mo, .dark-theme .highlight .mx {
  color: #a1b56c;
}
.dark-theme .highlight .ss {
  color: #a1b56c;
}