From aa0d6e935eedcb03773736001b12d92dbf7ef5d7 Mon Sep 17 00:00:00 2001
From: Jan Jongboom <jan@ajax.org>
Date: Thu, 13 Oct 2011 13:14:31 +0200
Subject: [PATCH] fixed styling in firefox

---
 lib/ace/ext/static.css          | 7 +++++--
 lib/ace/ext/static_highlight.js | 3 ++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/lib/ace/ext/static.css b/lib/ace/ext/static.css
index c2842bf4..d048034f 100644
--- a/lib/ace/ext/static.css
+++ b/lib/ace/ext/static.css
@@ -4,13 +4,16 @@
 }
 
 .ace_editor .ace_gutter { 
-    width: 20px; 
-    display: inline-block; 
+    width: 25px !important;
+    display: block;
+    float: left;
     text-align: right; 
     padding: 0 3px 0 0; 
     margin-right: 3px;
 }
 
+.ace-row { clear: both; }
+
 *.ace_gutter-cell {
   -moz-user-select: -moz-none;
   -khtml-user-select: none;
diff --git a/lib/ace/ext/static_highlight.js b/lib/ace/ext/static_highlight.js
index cec33bf4..bcdf10eb 100644
--- a/lib/ace/ext/static_highlight.js
+++ b/lib/ace/ext/static_highlight.js
@@ -71,9 +71,10 @@ exports.render = function(input, mode, theme) {
     
     for(var ix = 0; ix < length; ix++) {
         var lineTokens = tokens[ix].tokens;
+        stringBuilder.push("<div class='ace-row'>");
         stringBuilder.push("<span class='ace_gutter ace_gutter-cell' unselectable='on'>" + (ix+1) + "</span>");
         textLayer.$renderLine(stringBuilder, 0, lineTokens, true);
-        stringBuilder.push("<br>");
+        stringBuilder.push("</div>");
     }
     
     // let's prepare the whole html