I’ve been trying to figure out how to customize the font in the primary navigation menu. I would like to see it smaller, and maybe with another font. I can’t seem to find where it is in the editor, so is there a CSS snippet I can use to work around it? I tried editing the navigation code in the editor, but no changes ever rendered. Thanks!