AppInit = {
    doInit: function()
    {
        AppInit.fixMissingChildSelectorsForIE();
    },

    fixMissingChildSelectorsForIE: function()
    {
        if(!window.attachEvent || navigator.appName.toLowerCase().indexOf('opera') >= 0){
            /* Speed it up a bit for the rest of us. 
             * Have to check specifically for Opera because Opera does support some IE only tricks.
             */

            return;
        }
        
        /* Fix IE's lack of standard support for CSS by simulating it's missing
         * child selector implementation.
         */
        var menus = getElementsByTagAndClassName(null, 'menu');
        for( var i = 0; i < menus.length; i ++ ){
            var menu = menus[i];
            var lis = menu.getElementsByTagName( 'LI' );
            for( var j = 0; j < lis.length; j ++ ){
                var li = lis[j];
                connect( li, 'onmouseenter', AppInit.onMouseOver );
                connect( li, 'onmouseleave', AppInit.onMouseOut );
            }
        }
    },

    onMouseOver: function(e)
    {
        var el = e.src();
        addElementClass(el, 'sfHover');
    },

    onMouseOut: function(e)
    {
        var el = e.src();
        removeElementClass(el, 'sfHover');
    }
}

connect( window, 'onload', AppInit.doInit );