michael@0: // Add the correct border/margin/padding style
michael@0: if (window.location.search.length > 0) {
michael@0:   var params = window.location.search.substr(1).split("_");
michael@0:   if (params[0] == "border") {
michael@0:     params[0] = "border-width";
michael@0:   }
michael@0:   document.write("<style>");
michael@0:   document.write((params[1] == "parent") ? "#parent" : "#child");
michael@0:   document.write("{ " + params[0] + ": 1px 2px 3px 4px; }</style>");
michael@0: }