"<input type='text' name='dtd' value='html 5'/></span>\n");
var javascript = demo.run.toString();
var html = Gallery.workareaChild.innerHTML;
// tweak for use in jsfiddle
"<input type='text' name='dtd' value='html 5'/></span>\n");
var javascript = demo.run.toString();
var html = Gallery.workareaChild.innerHTML;
// tweak for use in jsfiddle