Use tabs instead of spaces.

Show line numbers in editor.

Use bigger font sizes for header in the editor.