Add space above code editor toolbar

[chrisvanpatten]

The code editor toolbar previously had no space above it, so the hover state of the "Exit Code Editor" button bumped up against the top toolbar. This PR resolves that!

Before

After

[jasmussen]

Boy Github is being annoying today. This PR 404s half the time.

This looks good — how does the button text align with the text on the left?

[chrisvanpatten]

@jasmussen The whole toolbar is moved here, so the text on the left moves down too. (So the baseline is the same and it looks nice!)

[jasmussen]

In that case, I'm a fan, and normally I'd just say SHIP IT!

But we're beyond the UI freeze date, I believe. If this counts as a bugfix, then it's okay to ship, but if it's a UI change, less so. What's our argument here? I guess it was a bit close to the edge wasn't it?

[chrisvanpatten]

@jasmussen I saw some PRs with bigger UI changes get re-milestoned as 4.2 because they were "enhancements" so I feel like this is pretty fair to allow in as a Bug Fix. That said, it's pretty small so it's not really the end of the world if it needs to be revisited later.

[chrisvanpatten]

@jasmussen Travis is passing finally, so this is ready for review :)

[jasmussen]

Looks good. Ship it!