Minor styling improvements

2022-08-17 09:12:02 +01:00
parent 75c93112dc
commit 225ff6347f
5 changed files with 23 additions and 3 deletions
@@ -1,3 +1,8 @@
+// imported from
+// https://github.com/readthedocs/sphinx_rtd_theme/blob/bc73ad84068b4ee7d8ddae7e51f5b767e8fd377b/src/theme.js
+// modified to suit our documentation structure, to not scroll the nav sidebar
+// when clicked - this is disorienting
+
 var jQuery = window.jQuery;

 // Sphinx theme nav state