jQuery UI menu amends from official repo

I still need to improve the menu styling further, though.