easier scrolling: increase code-editor left margin