Hey, I love this theme! I would like to change one thing though - I would like for the Editor to view to use a monospace font “B612 Mono Regular” instead of the Rubik font. I tried editing “–font-family-editor: ‘B612 Mono Regular’;” but the editor is still proportional.
Is there somewhere else in the .css file I need to edit?
Thank you.