style: decrease font size in editor