Update documentation

2022-11-18 16:46:58 +01:00 · 2022-11-18 16:46:58 +01:00 · 75185f19b6
commit 75185f19b6
parent 64ff14b9b1
36 changed files with 14537 additions and 3800 deletions
--- a/_static/documentation_options.js
+++ b/_static/documentation_options.js
@ -8,7 +8,5 @@ var DOCUMENTATION_OPTIONS = {
    LINK_SUFFIX: '.html',
    HAS_SOURCE: true,
    SOURCELINK_SUFFIX: '.txt',
-    NAVIGATION_WITH_KEYS: false,
-    SHOW_SEARCH_SUMMARY: true,
-    ENABLE_SEARCH_SHORTCUTS: true,
+    NAVIGATION_WITH_KEYS: false
 };