phpdoc.org ie7 problems fixed

If you’ve ran into problems with the menus at phpdoc.org in IE7 you should be good now.

I switched from them being CSS driven to them being jquery driven.

There is nothing like jquery for dom manipulation.

$(document).ready(function() {
        $('#nav ul > li').mouseover(function(e) {
                $('#nav ul ul').hide();
                $(this).find('ul').toggle();
        });
});