From 5a095ac0de165a5a7e806de564f0e2ffe5ca833d Mon Sep 17 00:00:00 2001 From: Polkovnikov Philip Date: Sat, 1 Feb 2014 05:33:40 +0200 Subject: [PATCH] Protect against 'you must use border-box' --- lib/codemirror.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/lib/codemirror.css b/lib/codemirror.css index 23eaf74d44..b0a5b4a1d0 100644 --- a/lib/codemirror.css +++ b/lib/codemirror.css @@ -5,6 +5,14 @@ font-family: monospace; height: 300px; } + +.CodeMirror *, .CodeMirror *:before, .CodeMirror *:after { + /* Protect against "you must use border-box" */ + -webkit-box-sizing: content-box; + -moz-box-sizing: content-box; + box-sizing: content-box; +} + .CodeMirror-scroll { /* Set scrolling behaviour here */ overflow: auto;