Added theme_menu().