Fixing issue of editor not properly rendering the document when switching into themes that mess around with the padding of the gutter