Change font properties in new look

horizon-games / remix-app

Ethereum Remix Solidity IDE, electron edition

195 stars 41 forks source link

Change font properties in new look #17

Open marcelluseasley opened 5 years ago

marcelluseasley commented 5 years ago

I notice there is a "+/-" in the old look to increase the font size. In the new look, I do not see a way to change the font size. Also, there is no way to change the actual font face.