From bed5c81881bb0b106579e47352113136ac5a0ee9 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Mon, 3 Feb 2014 11:21:24 +0100
Subject: [PATCH] Fix another case of bootstrap blues

(Border-sizing on the CodeMirror-linenumber class)

Issue #2210
---
 lib/codemirror.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/codemirror.css b/lib/codemirror.css
index 23eaf74d4..3df994851 100644
--- a/lib/codemirror.css
+++ b/lib/codemirror.css
@@ -36,6 +36,8 @@
   min-width: 20px;
   text-align: right;
   color: #999;
+  -moz-box-sizing: content-box;
+  box-sizing: content-box;
 }
 
 /* CURSOR */
-- 
GitLab