--- a/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py Fri Apr 13 22:32:32 2018 +0200 +++ b/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py Sat Apr 14 15:08:24 2018 +0200 @@ -53,7 +53,7 @@ document.onreadystatechange = function() { if (document.readyState == "interactive") { var oStyle = document.createElement("style"); - oStyle.setAttribute("type", "text\/css"); + oStyle.setAttribute("type", "text/css"); oStyle.appendChild(document.createTextNode(styles)); document.getElementsByTagName("head")[0].appendChild(oStyle); } @@ -61,7 +61,7 @@ } else { var oStyle = document.createElement("style"); - oStyle.setAttribute("type", "text\/css"); + oStyle.setAttribute("type", "text/css"); oStyle.appendChild(document.createTextNode(styles)); head.appendChild(oStyle); }