Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
1 // Add the correct border/margin/padding style
2 if (window.location.search.length > 0) {
3 var params = window.location.search.substr(1).split("_");
4 if (params[0] == "border") {
5 params[0] = "border-width";
6 }
7 document.write("<style>");
8 document.write((params[1] == "parent") ? "#parent" : "#child");
9 document.write("{ " + params[0] + ": 1px 2px 3px 4px; }</style>");
10 }