Is it possible to use proportional (non-monospace) fonts? It’s not clear from the website. That would be a necessary feature for me.