Update editor.html

Add bigger font options