To change your editor theme, keybinding, font size, editor height, and more, simply edit your editor preferences in your user settings.

Navigate to User Settings either from your user profile page or in the upper right hand corner of any document
Click on Editor Preferences in the top navigation
Was this article helpful?
Thank you!