uncomment first line in theme.js

basnijholt · basnijholt · commit 6351da5a686f · 2019-03-20T18:46:05.000+01:00
diff --git a/docs/source/_static/js/theme.js b/docs/source/_static/js/theme.js
@@ -1,4 +1,4 @@
-var jQuery = (typeof(window) != 'undefined') ? window.jQuery : require('jquery');
+// var jQuery = (typeof(window) != 'undefined') ? window.jQuery : require('jquery');
 
 // Sphinx theme nav state
 function ThemeNav () {

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-var jQuery = (typeof(window) != 'undefined') ? window.jQuery : require('jquery');`
	`1`	`+// var jQuery = (typeof(window) != 'undefined') ? window.jQuery : require('jquery');`
`2`	`2`
`3`	`3`	`// Sphinx theme nav state`
`4`	`4`	`function ThemeNav () {`