Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py

changeset 6247
5c677a7f7d51
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
equal deleted inserted replaced
6246:fe07a9f16f23 6247:5c677a7f7d51
51 var head = document.getElementsByTagName("head")[0]; 51 var head = document.getElementsByTagName("head")[0];
52 if (head === undefined) { 52 if (head === undefined) {
53 document.onreadystatechange = function() { 53 document.onreadystatechange = function() {
54 if (document.readyState == "interactive") { 54 if (document.readyState == "interactive") {
55 var oStyle = document.createElement("style"); 55 var oStyle = document.createElement("style");
56 oStyle.setAttribute("type", "text\/css"); 56 oStyle.setAttribute("type", "text/css");
57 oStyle.appendChild(document.createTextNode(styles)); 57 oStyle.appendChild(document.createTextNode(styles));
58 document.getElementsByTagName("head")[0].appendChild(oStyle); 58 document.getElementsByTagName("head")[0].appendChild(oStyle);
59 } 59 }
60 } 60 }
61 } 61 }
62 else { 62 else {
63 var oStyle = document.createElement("style"); 63 var oStyle = document.createElement("style");
64 oStyle.setAttribute("type", "text\/css"); 64 oStyle.setAttribute("type", "text/css");
65 oStyle.appendChild(document.createTextNode(styles)); 65 oStyle.appendChild(document.createTextNode(styles));
66 head.appendChild(oStyle); 66 head.appendChild(oStyle);
67 } 67 }
68 } 68 }
69 } 69 }

eric ide

mercurial