function addRoundedCornersSupport() {
    var corners = new Array( "top_left", "top_right", "bottom_left", "bottom_right" );
    var divs    = document.getElementsByTagName("div");

    for ( var i = 0; i < divs.length; i++ ) {
        var classes = divs[i].className.split(" ");
        for ( var j = 0; j < divs.length; j++ ) {

            if ( classes[j] == "rounded" || classes[j] == "bordered" ) {

                // for each <div> that has the class of either "rounded" or
                // "bordered", embed four <div>s, one for each corner
                for ( var k = 0; k < corners.length; k++ ) {
                    var corner = document.createElement("div");
                    corner.className = "corner_" + classes[j] + " " + corners[k];

                    // if the browser is IE6, the bottom left and right corners
                    // must have the image explicitly added using an embedded
                    // <img> tag instead of relying on CSS
                    if (
                        navigator.appVersion.indexOf("MSIE 6") != -1 &&
                        classes[j] == "bordered" &&
                        corners[k].substr( 0, 6 ) == "bottom"
                    ) {
                        var borderImg    = document.createElement("img");
                        borderImg.width  = "14";
                        borderImg.height = "14";
                        borderImg.alt    = "";
                        borderImg.src    = corners[k] + "_border.gif";
                        corner.appendChild(borderImg);
                    }
                    else {
                        corner.appendChild( document.createTextNode(" ") );
                    }

                    divs[i].appendChild(corner);
                }
            }

        }
    }
}

// the following block causes the addRoundedCornersSupport function to run on
// page load without overriding any other onLoad or attached events
if ( window.attachEvent ) {
    window.attachEvent( "onload", addRoundedCornersSupport );
}
else if ( window.addEventListener ) {
    window.addEventListener( "load", addRoundedCornersSupport, false );
}
else {
    document.addEventListener( "load", addRoundedCornersSupport, false );
}