Fix bug #9451 (Dark Theme: active line w/o line numbers has wrong gutter color)

Fix bug #9451 -- `.show-line-padding` is now on the Pane rather than on `#editor-holder`