From 9a08fbb8e845f9e4e5165edd13ab7f64fb1e4668 Mon Sep 17 00:00:00 2001
From: Joseph Capriotti <josephrcapriotti@gmail.com>
Date: Thu, 1 Sep 2022 11:50:07 -0700
Subject: [PATCH] Add style information for dark-theme

---
 docs/_static/css/custom.css | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
index a746a85ae..b252b53de 100644
--- a/docs/_static/css/custom.css
+++ b/docs/_static/css/custom.css
@@ -28,3 +28,38 @@ h3{
 .column > h3{
     font-family: "Raleway", Helvetica, Arial, sans-serif;
 }
+
+/* Dark theme tweaking
+Matplotlib images are in png and inverted while other output
+types are assumed to be normal images.
+*/
+html[data-theme=dark] img[src*='.png'] {
+    filter: invert(0.82) brightness(0.8) contrast(1.2);
+}
+
+html[data-theme=dark] img[src*='discretize-logo.png'] {
+    filter: invert(0.82) brightness(0.8) contrast(1.2) hue-rotate(180deg);
+}
+
+html[data-theme=dark] .MathJax_SVG *  {
+    fill: var(--pst-color-text-base);
+}
+
+html[data-theme=dark] #navbar-icon-links i.fa {
+    color: #a6a6a6;
+}
+html[data-theme=dark] #navbar-icon-links i.fab {
+    color: #a6a6a6;
+}
+html[data-theme=dark] #navbar-icon-links i.far {
+    color: #a6a6a6;
+}
+html[data-theme=dark] #navbar-icon-links i.fas {
+    color: #a6a6a6;
+}
+html[data-theme=dark] .navbar-nav>.active>.nav-link {
+    color: #FFFFFF!important;
+}
+html[data-theme=dark] #navbar-main {
+    background: #213a1b!important;
+}