ecmarkup
ecmarkup copied to clipboard
Font size for nonterminals is bad on mobile (Nexus 5X)
Especially bad
I think I have this fixed in my upcoming release (I moved all the font sizes to px from em, which I suspect is the cause of this somehow).