The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/layout/reftests/position-dynamic-changes/handleprop.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,10 @@
     1.4 +// Add the correct border/margin/padding style
     1.5 +if (window.location.search.length > 0) {
     1.6 +  var params = window.location.search.substr(1).split("_");
     1.7 +  if (params[0] == "border") {
     1.8 +    params[0] = "border-width";
     1.9 +  }
    1.10 +  document.write("<style>");
    1.11 +  document.write((params[1] == "parent") ? "#parent" : "#child");
    1.12 +  document.write("{ " + params[0] + ": 1px 2px 3px 4px; }</style>");
    1.13 +}