Changes in doc/html/_static/doctools.js [ada37fa:5547430] in ammosreader

File:

• doc/html/_static/doctools.js (modified) (2 diffs)

doc/html/_static/doctools.js

@@ -5 +5 @@
  * Sphinx JavaScript utilities for all documentation.
  *
- * :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS.
+ * :copyright: Copyright 2007-2022 by the Sphinx team, see AUTHORS.
  * :license: BSD, see LICENSE for details.
  *
@@ -265 +265 @@
     $('#searchbox .highlight-link').fadeOut(300);
     $('span.highlighted').removeClass('highlighted');
+    var url = new URL(window.location);
+    url.searchParams.delete('highlight');
+    window.history.replaceState({}, '', url);
   },