michael@0: 
michael@0: // This script is used from within browser_styleeditor_cmd_edit.html
michael@0: 
michael@0: window.addEventListener('load', function() {
michael@0:   var pid = document.getElementById('pid');
michael@0:   var h3 = document.createElement('h3');
michael@0:   h3.id = 'h3id';
michael@0:   h3.classList.add('h3class');
michael@0:   h3.appendChild(document.createTextNode('h3'));
michael@0:   h3.setAttribute('data-a1', 'h3');
michael@0:   pid.parentNode.appendChild(h3);
michael@0: });