// Constants var forceUpperCase = false; // Tags to replace with heading_replace.swf, and font sizes to be used in the flash movie. var headings = new Array( ["#content h1",'div {font-size: 20px; color: #4b751e; font-family: __heading}'], ["#content h2",'div {font-size: 14px; color: #4b751e; font-family: __heading}'] ); //var headings = new Array(); // Hide these elements until the flash is loaded. document.write(''); function doHeadingReplace(){ var els; var el; var selector; var height; var width; var origHtml; var replaceText; var css; for(var j=0; j"; writeFlash(el, "heading_replace.swf", width, height, "replacecontent=" + escape(replaceText) + "&css=" + escape(css)); } } } } } EventUtils.addEventListener(window,'load',doHeadingReplace);