Forgot to mention, but when I exclude the theme, the styles on my webpage change as well. It looks like turning off Aggregate CSS-files fixes the menu without any changes to the styles. Does turning off this option make the site run a lot slower? What’s the impact?