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 { color: #008000; }
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: #902000; }
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: #06287e; }
code span.im { color: #008000; font-weight: bold; }
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; }
code span.kw { color: #007020; font-weight: bold; }
code span.op { color: #666666; }
code span.ot { color: #007020; }
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; }
@media (prefers-color-scheme: dark) {
  code span.al { color: #ffcfaf; }
  code span.an { color: #7f9f7f; font-weight: bold; }
  code span.at { }
  code span.bn { color: #dca3a3; }
  code span.bu { }
  code span.cf { color: #f0dfaf; }
  code span.ch { color: #dca3a3; }
  code span.cn { color: #dca3a3; font-weight: bold; }
  code span.co { color: #7f9f7f; }
  code span.cv { color: #7f9f7f; font-weight: bold; }
  code span.do { color: #7f9f7f; }
  code span.dt { color: #dfdfbf; }
  code span.dv { color: #dcdccc; }
  code span.er { color: #c3bf9f; }
  code span.ex { }
  code span.fl { color: #c0bed1; }
  code span.fu { color: #efef8f; }
  code span.im { }
  code span.in { color: #7f9f7f; font-weight: bold; }
  code span.kw { color: #f0dfaf; }
  code span.op { color: #f0efd0; }
  code span.ot { color: #efef8f; }
  code span.pp { color: #ffcfaf; font-weight: bold; }
  code span.sc { color: #dca3a3; }
  code span.ss { color: #cc9393; }
  code span.st { color: #cc9393; }
  code span.va { }
  code span.vs { color: #cc9393; }
  code span.wa { color: #7f9f7f; font-weight: bold; }
}