Reduced size of editor fonts