/* CSS to modify the options in the menu when the user clicks on them */ /* CSS to disable the scroll when the menu is open */