Dark mode pygments

lukelbd · lukelbd · commit 073e61ac4eff · 2019-12-06T17:45:25.000-07:00
diff --git a/docs/_static/custom.js b/docs/_static/custom.js
@@ -15,7 +15,7 @@ function lightToggle() {
 }
 function darkToggle() {
     document.documentElement.setAttribute('data-theme', 'dark');
-    pygmentsLink.href = pygmentsLink.href.replace(regex, '$1/monokai$2');
+    pygmentsLink.href = pygmentsLink.href.replace(regex, '$1/paraiso-dark$2');
     localStorage.setItem('theme', 'dark');
 }
 function switchTheme(e) {

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ function lightToggle() {`
`15`	`15`	`}`
`16`	`16`	`function darkToggle() {`
`17`	`17`	`document.documentElement.setAttribute('data-theme', 'dark');`
`18`		`- pygmentsLink.href = pygmentsLink.href.replace(regex, '$1/monokai$2');`
	`18`	`+ pygmentsLink.href = pygmentsLink.href.replace(regex, '$1/paraiso-dark$2');`
`19`	`19`	`localStorage.setItem('theme', 'dark');`
`20`	`20`	`}`
`21`	`21`	`function switchTheme(e) {`