michael@0: /* Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/  */
michael@0: 
michael@0: function onLoad() {
michael@0:   document.documentElement.style.backgroundColor = "green";
michael@0: }
michael@0: 
michael@0: addEventListener("load", onLoad, false);