title: How can I increase the font size in WebStorm?
body: <p>The font size in the editor in WebStorm is too puny for my taste (or my eyes, I should say).</p>
  
  <p>I tried to change it via Settings > Editor > Colors &amp; BFonts > Font, which does have a "Size" edit box in the "Editor Font" section, but it is readonly.</p>
  
  <p>So how can I "up" the font size? I also (first) tried Ctrl+mouseWheel, but that didn't lead to any joy in Mudville, either.</p>