spec/html-runner.js
function log(txt) {
          var p = document.createElement("p");
          p.style.margin = '2px';
          p.style.padding = '1px';
          p.style.backgroundColor = "#FFFFF0";
          p.style.border = "solid";
          p.style.borderWidth = "1px";
          p.style.borderColor = "#7F7F8F";
          p.style.lineHeight = "1.0";
          p.appendChild(document.createTextNode(txt));
          document.body.appendChild(p);
        }
function log(txt) {
          var p = document.createElement("p");
          p.style.margin = '2px';
          p.style.padding = '1px';
          p.style.backgroundColor = "#FFFFF0";
          p.style.border = "solid";
          p.style.borderWidth = "1px";
          p.style.borderColor = "#7F7F8F";
          p.style.lineHeight = "1.0";
          p.appendChild(document.createTextNode(txt));
          document.body.appendChild(p);
        }
function log ( txt ) { var p = document . createElement ( "p" ) ; p . style . margin = '2px' ; p . style . padding = '1px' ; p . style . backgroundColor = "#FFFFF0" ; p . style . border = "solid" ; p . style . borderWidth = "1px" ; p . style . borderColor = "#7F7F8F" ; p . style . lineHeight = "1.0" ; p . appendChild ( document . createTextNode ( txt ) ) ; document . body . appendChild ( p ) ; }
DOM rendering functions
DOM rendering functions