Add styles for diffs

Closes #644
NixOS · Aug 1, 2023 · 141e42e · 141e42e
1 parent f4d6f23
commit 141e42e
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/source/_static/css/custom.css b/source/_static/css/custom.css
@@ -42,6 +42,28 @@ div.highlight:hover > pre::before {
   opacity: 0;
 }
 
+html[data-theme="light"] .highlight .gi { 
+  background-color: #ccffcc;
+  border: 1px solid #ccffcc;
+}
+
+html[data-theme="light"] .highlight .gd { 
+  background-color: #ffcccc;
+  border: 1px solid #ffcccc;
+  color: inherit !important;
+}
+
+html[data-theme="dark"] .highlight .gi { 
+  background-color: #005400;
+  border: 1px solid #005400;
+}
+
+html[data-theme="dark"] .highlight .gd { 
+  background-color: #540000;
+  border: 1px solid #540000;
+  color: inherit !important;
+}
+
 .topic {
   padding: 30px;
 }