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("