/* // dark theme */
.dark-theme .highlight table td { padding: 5px; }
.dark-theme .highlight table pre { margin: 0; }

.dark-theme .highlight,
.dark-theme .highlight .w {
  color: #d0d0d0;
  background-color: #151515;
}
.dark-theme .highlight .err {
  color: #151515;
  background-color: #ac4142;
}
.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: #505050;
}
.dark-theme .highlight .cp {
  @apply text-blue-darkest;
}
.dark-theme .highlight .nt {
  @apply text-blue-darkest;
}
.dark-theme .highlight .o,
.dark-theme .highlight .ow {
  color: #d0d0d0;
}
.dark-theme .highlight .p,
.dark-theme .highlight .pi {
  color: #d0d0d0;
}
.dark-theme .highlight .gi {
  color: #90a959;
}
.dark-theme .highlight .gd {
  color: #ac4142;
}
.dark-theme .highlight .gh {
  color: #6a9fb5;
  background-color: #151515;
  font-weight: bold;
}
.dark-theme .highlight .k,
.dark-theme .highlight .kn,
.dark-theme .highlight .kp,
.dark-theme .highlight .kr,
.dark-theme .highlight .kv {
  color: #aa759f;
}
.dark-theme .highlight .kc {
  color: #d28445;
}
.dark-theme .highlight .kt {
  color: #d28445;
}
.dark-theme .highlight .kd {
  color: #d28445;
}

.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: #90a959;
}
.dark-theme .highlight .sa {
  color: #aa759f;
}
.dark-theme .highlight .sr {
  color: #75b5aa;
}
.dark-theme .highlight .si {
  color: #8f5536;
}
.dark-theme .highlight .se {
  color: #8f5536;
}
.dark-theme .highlight .nn {
  @apply text-blue-darkest;
}
.dark-theme  .highlight .nc {
  @apply text-blue-darkest;
}
.dark-theme .highlight .no {
  @apply text-blue-darkest;
}
.dark-theme .highlight .na {
  color: #6a9fb5;
}
.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: #90a959;
}
.dark-theme .highlight .ss {
  color: #90a959;
}