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
Please note that these custom editor settings only apply to the LaTeX and Markdown editors.
Published on: 12 / 16 / 2017