[wp-trac] [WordPress Trac] #42214: Code Editors: Minor style improvements

[WordPress Trac]

#42214: Code Editors: Minor style improvements
----------------------------+-------------------------
 Reporter:  melchoyce       |      Owner:
     Type:  task (blessed)  |     Status:  new
 Priority:  normal          |  Milestone:  4.9
Component:  General         |    Version:
 Severity:  normal          |   Keywords:  needs-patch
  Focuses:  ui              |
----------------------------+-------------------------
 The code editors could use some minor design tweaks. See attached mockup,
 where I've...:
 - Added a `1px solid #ddd` background around the entire editor
 - Increased the width of the the file contents to `100%`
 - Removed any `margin-left` on the file list
 - Added a background (`#f7f7f7`, to match the line numbers background)
 behind the file list
 - Also added a `border-left` of `1px solid #ddd` to the file list
 - Increased the padding inside the file list to `5px 5px 8px`
 - Made the current file styling full-width inside the file list
 - Removed the `border-bottom` on the "Theme/Plugin Files" header

 Anyone want to take a stab at patching this?

--
Ticket URL: <https://core.trac.wordpress.org/ticket/42214>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform