
/* - roundedCornersSupport.js - */
/*  (do not remove this :) */
/*  (not this either :) */

window.onload=function(){
    if(!NiftyCheck())
        return;

    // Rounded corners this way are only necessary in IE
    if (/MSIE (\d+\.\d+);/.test(navigator.userAgent)) {
        Rounded("dl.portlet","all","#FFFFFF","#008D65");

        //Rounded("ul.tabs li", "globalnavtop", "#004477", "#FFFFFF");
        //Rounded("#portal-globalnav li.plain", "globalnavtop", "#004477", "#008D65");
        //Rounded("#portal-globalnav li.selected", "globalnavtop", "#004477", "#FFFFFF");
        //Rounded("#portal-header","all","#FFFFFF","#004477");
    }
}

/*  */



