1 files changed, 558 insertions, 0 deletions
diff --git a/doc/style/pygments.css b/doc/style/pygments.css
new file mode 100644
index 0000000..2472b1a
--- /dev/null
+++ b/doc/style/pygments.css
@@ -0,0 +1,558 @@
+/* Light (default) theme */
+
+.n {
+  color: #222;
+}
+
+.c {
+  color: #3F4D91;
+  font-style: italic;
+}
+
+.err {
+  border: 1px solid #DC322F;
+}
+
+.k {
+  color: #586E75;
+}
+
+.o {
+  color: #586E75;
+}
+
+.cm {
+  color: #3F4D91;
+  font-style: italic;
+}
+
+.cp {
+  color: #586E75;
+}
+
+.cpf {
+  color: #93115C;
+}
+
+.c1 {
+  color: #3F4D91;
+  font-style: italic;
+}
+
+.cs {
+  color: #3F4D91;
+  font-style: italic;
+}
+
+.gd {
+  color: #990A1B;
+}
+
+.ge {
+  font-style: italic;
+}
+
+.gr {
+  color: #DC322F;
+}
+
+.gh {
+  color: #3F4D91;
+  font-weight: bold;
+}
+
+.gi {
+  color: #859900;
+}
+
+.go {
+  color: #666;
+}
+
+.gp {
+  color: #666;
+  font-weight: bold;
+}
+
+.gs {
+  font-weight: bold;
+}
+
+.gu {
+  color: #444;
+  font-weight: bold;
+}
+
+.gt {
+  color: #268BD2;
+}
+
+.kc {
+  color: #586E75;
+  font-weight: bold;
+}
+
+.kd {
+  color: #586E75;
+  font-weight: bold;
+}
+
+.kn {
+  color: #586E75;
+  font-weight: bold;
+}
+
+.kp {
+  color: #586E75;
+}
+
+.kr {
+  color: #586E75;
+  font-weight: bold;
+}
+
+.kt {
+  color: #586E75;
+}
+
+.m {
+  color: #666;
+}
+
+.s {
+  color: #93115C;
+}
+
+.na {
+  color: #444;
+}
+
+.nb {
+  color: #3F4D91;
+}
+
+.nc {
+  color: #000;
+}
+
+.no {
+  color: #880;
+}
+
+.nd {
+  color: #A2F;
+}
+
+.ni {
+  color: #666;
+  font-weight: bold;
+}
+
+.ne {
+  color: #D2413A;
+  font-weight: bold;
+}
+
+.nf {
+  color: #000;
+}
+
+.nl {
+  color: #546E00;
+}
+
+.nn {
+  color: #444;
+}
+
+.nt {
+  color: #444;
+}
+
+.nv {
+  color: #222;
+}
+
+.ow {
+  color: #3F4D91;
+}
+
+.w {
+  color: #BBB;
+}
+
+.mb {
+  color: #93115C;
+  font-weight: bold;
+}
+
+.mf {
+  color: #93115C;
+}
+
+.mh {
+  color: #93115C;
+  font-weight: bold;
+}
+
+.mi {
+  color: #93115C;
+}
+
+.mo {
+  color: #93115C;
+  font-weight: bold;
+}
+
+.sb {
+  color: #93115C;
+}
+
+.sc {
+  color: #93115C;
+}
+
+.sd {
+  color: #3F4D91;
+  font-style: italic;
+}
+
+.s2 {
+  color: #93115C;
+}
+
+.se {
+  color: #93115C;
+  font-weight: bold;
+}
+
+.sh {
+  color: #93115C;
+}
+
+.si {
+  color: #93115C;
+  font-weight: bold;
+}
+
+.sx {
+  color: #93115C;
+}
+
+.sr {
+  color: #93115C;
+  font-weight: bold;
+}
+
+.s1 {
+  color: #93115C;
+}
+
+.ss {
+  color: #444;
+  font-weight: bold;
+}
+
+.bp {
+  color: #859900;
+}
+
+.vc {
+  color: #00629D;
+}
+
+.vg {
+  color: #00629D;
+}
+
+.vi {
+  color: #00629D;
+}
+
+.il {
+  color: #000;
+}
+
+.p {
+  color: #444;
+}
+
+/* Dark theme */
+@media (prefers-color-scheme: dark) {
+  .n {
+    color: #BBB;
+  }
+
+  .c {
+    color: #6C71C4;
+    font-style: italic;
+  }
+
+  .err {
+    border: 1px solid #FF6E64;
+  }
+
+  .k {
+    color: #93A1A1;
+  }
+
+  .o {
+    color: #93A1A1;
+  }
+
+  .cm {
+    color: #6C71C4;
+    font-style: italic;
+  }
+
+  .cp {
+    color: #93A1A1;
+  }
+
+  .cpf {
+    color: #D33682;
+  }
+
+  .c1 {
+    color: #6C71C4;
+    font-style: italic;
+  }
+
+  .cs {
+    color: #6C71C4;
+    font-style: italic;
+  }
+
+  .gd {
+    color: #DC322F;
+  }
+
+  .ge {
+    font-style: italic;
+  }
+
+  .gr {
+    color: #FF6E64;
+  }
+
+  .gh {
+    color: #6C71C4;
+    font-weight: bold;
+  }
+
+  .gi {
+    color: #859900;
+  }
+
+  .go {
+    color: #666;
+  }
+
+  .gp {
+    color: #666;
+    font-weight: bold;
+  }
+
+  .gs {
+    font-weight: bold;
+  }
+
+  .gu {
+    color: #BBB;
+    font-weight: bold;
+  }
+
+  .gt {
+    color: #69B7F0;
+  }
+
+  .kc {
+    color: #93A1A1;
+    font-weight: bold;
+  }
+
+  .kd {
+    color: #93A1A1;
+    font-weight: bold;
+  }
+
+  .kn {
+    color: #93A1A1;
+    font-weight: bold;
+  }
+
+  .kp {
+    color: #93A1A1;
+  }
+
+  .kr {
+    color: #93A1A1;
+    font-weight: bold;
+  }
+
+  .kt {
+    color: #93A1A1;
+  }
+
+  .m {
+    color: #999;
+  }
+
+  .s {
+    color: #D33682;
+  }
+
+  .na {
+    color: #BBB;
+  }
+
+  .nb {
+    color: #6C71C4;
+  }
+
+  .nc {
+    color: #FFF;
+  }
+
+  .no {
+    color: #880;
+  }
+
+  .nd {
+    color: #A2F;
+  }
+
+  .ni {
+    color: #999;
+    font-weight: bold;
+  }
+
+  .ne {
+    color: #D2413A;
+    font-weight: bold;
+  }
+
+  .nf {
+    color: #FFF;
+  }
+
+  .nl {
+    color: #546E00;
+  }
+
+  .nn {
+    color: #BBB;
+  }
+
+  .nt {
+    color: #BBB;
+  }
+
+  .nv {
+    color: #DDD;
+  }
+
+  .ow {
+    color: #6C71C4;
+  }
+
+  .w {
+    color: #BBB;
+  }
+
+  .mb {
+    color: #D33682;
+    font-weight: bold;
+  }
+
+  .mf {
+    color: #D33682;
+  }
+
+  .mh {
+    color: #D33682;
+    font-weight: bold;
+  }
+
+  .mi {
+    color: #D33682;
+  }
+
+  .mo {
+    color: #D33682;
+    font-weight: bold;
+  }
+
+  .sb {
+    color: #D33682;
+  }
+
+  .sc {
+    color: #D33682;
+  }
+
+  .sd {
+    color: #6C71C4;
+    font-style: italic;
+  }
+
+  .s2 {
+    color: #D33682;
+  }
+
+  .se {
+    color: #D33682;
+    font-weight: bold;
+  }
+
+  .sh {
+    color: #D33682;
+  }
+
+  .si {
+    color: #D33682;
+    font-weight: bold;
+  }
+
+  .sx {
+    color: #D33682;
+  }
+
+  .sr {
+    color: #D33682;
+    font-weight: bold;
+  }
+
+  .s1 {
+    color: #D33682;
+  }
+
+  .ss {
+    color: #BBB;
+    font-weight: bold;
+  }
+
+  .bp {
+    color: #859900;
+  }
+
+  .vc {
+    color: #268BD2;
+  }
+
+  .vg {
+    color: #268BD2;
+  }
+
+  .vi {
+    color: #268BD2;
+  }
+
+  .il {
+    color: #FFF;
+  }
+
+  .p {
+    color: #BBB;
+  }
+}