/* dark: menu styled in dark.css */