All the fonts in Worlfram Workbench are a bit too small for me to read. Is there a way to increase every font size in a simple manner?