// 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);