Erato uses a fixed-width font because it is easy to read and makes formatting very clear. You can change the font in the Settings. I like your idea of a toggle though, I'll give it some thought and see how it might work.