diff --git a/Browser.html b/Browser.html
index 442eff259..befb6df05 100644
--- a/Browser.html
+++ b/Browser.html
@@ -1192,7 +1192,7 @@
jQuery.extend({highlight:function(e,t,n,r){if(e.nodeType===3){var i=e.data.match(t);if(i){var s=document.createElement(n||"span");s.className=r||"highlight";var o=e.splitText(i.index);o.splitText(i[0].length);var u=o.cloneNode(true);s.appendChild(u);o.parentNode.replaceChild(s,o);return 1}}else if(e.nodeType===1&&e.childNodes&&!/(script|style)/i.test(e.tagName)&&!(e.tagName===n.toUpperCase()&&e.className===r)){for(var a=0;a
+
+
+
+
+
+
+
+
+
+
Opening library documentation failed
+
+- Verify that you have JavaScript enabled in your browser.
+- Make sure you are using a modern enough browser. If using Internet Explorer, version 11 is required.
+- Check are there messages in your browser's JavaScript error log. Please report the problem if you suspect you have encountered a bug.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+