I’m wondering if it’s possible to add a menu class to a navigation menu added to a widget area? I realize that when adding a menu to a template via wp_nav_menu one can use the menu_class option to append a custom class to the menu’s <ul> element, but I can find a way to do the same to a menu added to a widget area- perhaps via filter? In my case, I need to add a class to trigger a menu script, and adding it via JS is creating issues, so I’d like to add it on the PHP side if possible. Thanks for any insight here!