window.onload=function() {
    Nifty ("#content_container H1","top");
    Nifty ("#content_container PRE", "small");
    Nifty ("H3.menu_header", "top");
    Nifty ("H3.menu_footer", "bottom");
    Nifty ("div.menu_section", "tl br");
    Nifty ("div#float_1", "tl br big same-height");
    Nifty ("div#float_2", "tl br big same-height");
    Nifty ("div#float_3", "tl br big same-height");
    Nifty ("div#float_4", "tl br big same-height");
    Nifty ("div#float_5", "tl br big same-height");
    Nifty ("div#float_6", "tl br big same-height");
}