Add top border to CodeMirror div, remove bottom border from UI toolbar. 

This way there's still a top border if the UI toolbar isn't displayed
(like in a read-only mode) even if the CodeMirror-UI css is included.