// Hide main menu based on theme options

From the blog