Fix bug #9451 (Dark Theme: active line w/o line numbers has wrong color in
gutter) -- .show-line-padding is now on the Pane rather than #editor-holder
Merge pull request #9571 from adobe/pflynn/dark-gutter-fix

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