commit 6c723a2f46051a3543bb7856b41761e84f5a8a15
author Gilles Peskine <Gilles.Peskine@arm.com> Fri Apr 17 16:57:52 2020 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Mon Apr 20 15:12:47 2020 +0200
tree 69512f17ae2df3de8bc87bcced0311efd925ea07
parent 87dd014036b7f0b332b350e52aae65c9a615d7e5

Update PSA API specification to 1.0.0

Generated from the PSA Crypto API Dockerfile at tag psa-crypto-api-1.0.0

docs/html/_static/doctools.js

diff --git a/docs/html/_static/doctools.js b/docs/html/_static/doctools.js
index 344db17..0c15c00 100644
--- a/docs/html/_static/doctools.js
+++ b/docs/html/_static/doctools.js
@@ -4,7 +4,7 @@
  *
  * Sphinx JavaScript utilities for all documentation.
  *
- * :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS.
+ * :copyright: Copyright 2007-2018 by the Sphinx team, see AUTHORS.
  * :license: BSD, see LICENSE for details.
  *
  */
@@ -70,9 +70,7 @@
     if (node.nodeType === 3) {
       var val = node.nodeValue;
       var pos = val.toLowerCase().indexOf(text);
-      if (pos >= 0 &&
-          !jQuery(node.parentNode).hasClass(className) &&
-          !jQuery(node.parentNode).hasClass("nohighlight")) {
+      if (pos >= 0 && !jQuery(node.parentNode).hasClass(className)) {
         var span;
         var isInSVG = jQuery(node).closest("body, svg, foreignObject").is("svg");
         if (isInSVG) {
@@ -150,9 +148,7 @@
     this.fixFirefoxAnchorBug();
     this.highlightSearchWords();
     this.initIndexTable();
-    if (DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) {
-      this.initOnKeyListeners();
-    }
+    
   },
 
   /**
@@ -312,4 +308,4 @@
 
 $(document).ready(function() {
   Documentation.init();
-});
+});
\ No newline at end of file