Also, using this plugin to add search to my nav:
https://ww.wp.xz.cn/plugins/search-box-on-navigation-menu/faq/
It defaults to theme stylesheet.
It worked itself out, so thinking maybe it was cookies/cache issue, even though I had done shift+refresh without any change before.
