change font-size/webstorm settings