From 5aa0286067c52b505d698779dfedfe75c6a06235 Mon Sep 17 00:00:00 2001
From: Jason Boxman <jasonb@edseek.com>
Date: Sun, 3 May 2020 19:46:15 -0400
Subject: [PATCH] Add Rouge syntax highlighter CSS

---
 _stylesheets/docs.css | 219 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 219 insertions(+)

diff --git a/_stylesheets/docs.css b/_stylesheets/docs.css
index bdbaa3c98d..95dfc6ec96 100644
--- a/_stylesheets/docs.css
+++ b/_stylesheets/docs.css
@@ -180,6 +180,225 @@ span.clipboard-button:hover {
 }
 /* End ClipboardJS edits */
 
+/* Rouge syntax highlighting: 'GitHub' style */
+/* From: https://spsarolkar.github.io/rouge-theme-preview/ */
+
+.highlight table td {
+     padding: 5px;
+}
+ .highlight table pre {
+     margin: 0;
+}
+ .highlight .cm {
+     color: #999988;
+     font-style: italic;
+}
+ .highlight .cp {
+     color: #999999;
+     font-weight: bold;
+}
+ .highlight .c1 {
+     color: #999988;
+     font-style: italic;
+}
+ .highlight .cs {
+     color: #999999;
+     font-weight: bold;
+     font-style: italic;
+}
+ .highlight .c, .highlight .cd {
+     color: #999988;
+     font-style: italic;
+}
+ .highlight .err {
+     color: #a61717;
+     background-color: #e3d2d2;
+}
+ .highlight .gd {
+     color: #000000;
+     background-color: #ffdddd;
+}
+ .highlight .ge {
+     color: #000000;
+     font-style: italic;
+}
+ .highlight .gr {
+     color: #aa0000;
+}
+ .highlight .gh {
+     color: #999999;
+}
+ .highlight .gi {
+     color: #000000;
+     background-color: #ddffdd;
+}
+ .highlight .go {
+     color: #888888;
+}
+ .highlight .gp {
+     color: #555555;
+}
+ .highlight .gs {
+     font-weight: bold;
+}
+ .highlight .gu {
+     color: #aaaaaa;
+}
+ .highlight .gt {
+     color: #aa0000;
+}
+ .highlight .kc {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .kd {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .kn {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .kp {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .kr {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .kt {
+     color: #445588;
+     font-weight: bold;
+}
+ .highlight .k, .highlight .kv {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .mf {
+     color: #009999;
+}
+ .highlight .mh {
+     color: #009999;
+}
+ .highlight .il {
+     color: #009999;
+}
+ .highlight .mi {
+     color: #009999;
+}
+ .highlight .mo {
+     color: #009999;
+}
+ .highlight .m, .highlight .mb, .highlight .mx {
+     color: #009999;
+}
+ .highlight .sb {
+     color: #d14;
+}
+ .highlight .sc {
+     color: #d14;
+}
+ .highlight .sd {
+     color: #d14;
+}
+ .highlight .s2 {
+     color: #d14;
+}
+ .highlight .se {
+     color: #d14;
+}
+ .highlight .sh {
+     color: #d14;
+}
+ .highlight .si {
+     color: #d14;
+}
+ .highlight .sx {
+     color: #d14;
+}
+ .highlight .sr {
+     color: #009926;
+}
+ .highlight .s1 {
+     color: #d14;
+}
+ .highlight .ss {
+     color: #990073;
+}
+ .highlight .s {
+     color: #d14;
+}
+ .highlight .na {
+     color: #008080;
+}
+ .highlight .bp {
+     color: #999999;
+}
+ .highlight .nb {
+     color: #0086B3;
+}
+ .highlight .nc {
+     color: #445588;
+     font-weight: bold;
+}
+ .highlight .no {
+     color: #008080;
+}
+ .highlight .nd {
+     color: #3c5d5d;
+     font-weight: bold;
+}
+ .highlight .ni {
+     color: #800080;
+}
+ .highlight .ne {
+     color: #990000;
+     font-weight: bold;
+}
+ .highlight .nf {
+     color: #990000;
+     font-weight: bold;
+}
+ .highlight .nl {
+     color: #990000;
+     font-weight: bold;
+}
+ .highlight .nn {
+     color: #555555;
+}
+ .highlight .nt {
+     color: #000080;
+}
+ .highlight .vc {
+     color: #008080;
+}
+ .highlight .vg {
+     color: #008080;
+}
+ .highlight .vi {
+     color: #008080;
+}
+ .highlight .nv {
+     color: #008080;
+}
+ .highlight .ow {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .o {
+     color: #000000;
+     font-weight: bold;
+}
+ .highlight .w {
+     color: #bbbbbb;
+}
+ .highlight {
+     background-color: #f8f8f8;
+}
+
+/* End of Rouge syntax highlighting */
+
 .fa-inverse:hover {
   color: #ccc;
 }