diff options
| author | Valerio Virgillito | 2012-05-03 16:08:49 -0700 |
|---|---|---|
| committer | Valerio Virgillito | 2012-05-03 16:08:49 -0700 |
| commit | 0e1c87871489c1d5d8deb609174d8876eb579169 (patch) | |
| tree | f37c26fbab9151e6c4f50e3e786bdc96b9960014 /imports/codemirror/lib/codemirror.css | |
| parent | eb17fe1bbd05ad260e8a56918a3b396a03767e04 (diff) | |
| parent | 01ecdc4bda1aff7d39f429c76e57b10af6079c53 (diff) | |
| download | ninja-0e1c87871489c1d5d8deb609174d8876eb579169.tar.gz | |
Merge pull request #192 from ananyasen/Codeview-improvements
submitting project : Code Editor Improvements [Phase 1]
Diffstat (limited to 'imports/codemirror/lib/codemirror.css')
| -rw-r--r-- | imports/codemirror/lib/codemirror.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/imports/codemirror/lib/codemirror.css b/imports/codemirror/lib/codemirror.css index 5eadb247..2d79f4aa 100644 --- a/imports/codemirror/lib/codemirror.css +++ b/imports/codemirror/lib/codemirror.css | |||
| @@ -9,6 +9,7 @@ | |||
| 9 | /* This is needed to prevent an IE[67] bug where the scrolled content | 9 | /* This is needed to prevent an IE[67] bug where the scrolled content |
| 10 | is visible outside of the scrolling box. */ | 10 | is visible outside of the scrolling box. */ |
| 11 | position: relative; | 11 | position: relative; |
| 12 | outline: none; | ||
| 12 | } | 13 | } |
| 13 | 14 | ||
| 14 | .CodeMirror-gutter { | 15 | .CodeMirror-gutter { |
| @@ -27,6 +28,7 @@ | |||
| 27 | } | 28 | } |
| 28 | .CodeMirror-lines { | 29 | .CodeMirror-lines { |
| 29 | padding: .4em; | 30 | padding: .4em; |
| 31 | white-space: pre; | ||
| 30 | } | 32 | } |
| 31 | 33 | ||
| 32 | .CodeMirror pre { | 34 | .CodeMirror pre { |