editorconfig and revertfontsize