--- a/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py Tue Oct 15 22:03:54 2013 +0200 +++ b/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py Fri Oct 18 23:00:41 2013 +0200 @@ -23,7 +23,9 @@ // run it if(oXhr) { if("onreadystatechange" in details) - oXhr.onreadystatechange = function() { details.onreadystatechange(oXhr) }; + oXhr.onreadystatechange = function() { + details.onreadystatechange(oXhr) + }; if("onload" in details) oXhr.onload = function() { details.onload(oXhr) }; if("onerror" in details) @@ -50,10 +52,10 @@ if (head === undefined) { document.onreadystatechange = function() { if (document.readyState == "interactive") { - var oStyle = document.createElement("style"); - oStyle.setAttribute("type", "text\/css"); - oStyle.appendChild(document.createTextNode(styles)); - document.getElementsByTagName("head")[0].appendChild(oStyle); + var oStyle = document.createElement("style"); + oStyle.setAttribute("type", "text\/css"); + oStyle.appendChild(document.createTextNode(styles)); + document.getElementsByTagName("head")[0].appendChild(oStyle); } } }