this is not envisaged in the back-end of the theme (as a ready-made feature), but in principle this effect can be achieved by setting the “position” property of the menu element as “fixed”, in which case it will stay where it is regardless of the scroll.