saschpe/codemirror-ui — pull request #1 by saschpe (2011-11-03 12:01:29+00:00)
Title: 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.