https://wpsticky.com/
WP Sticky - Make a sticky menu, header or any other WordPress element
Dec 6, 2021 - Sticky menu or sticky header, navigation, widgets, or your favorite image - you can make all sticky with just a few clicks with WP Sticky.
make a menuwp sticky
https://bbpress.org/forums/reply/re-how-to-make-a-menu-like-the-one-on-this-site/
Re: How to make a menu like the one on this site? ยท bbPress.org
Forums, made the WordPress way
how to makelike the one