From 496c8d67fc9de9d81e259cfe0b2ea644fcf1812c Mon Sep 17 00:00:00 2001 From: danyaPostfactum Date: Fri, 30 Mar 2012 17:44:07 +1000 Subject: [PATCH] Two minor fixes of gutter style --- lib/ace/theme/chrome.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/ace/theme/chrome.js b/lib/ace/theme/chrome.js index 1c21f53d..60fdf458 100644 --- a/lib/ace/theme/chrome.js +++ b/lib/ace/theme/chrome.js @@ -47,7 +47,6 @@ exports.cssText = ".ace-chrome .ace_editor {\ }\ \ .ace-chrome .ace_gutter {\ - width: 50px;\ background: #e8e8e8;\ color: #333;\ overflow : hidden;\ @@ -58,10 +57,6 @@ exports.cssText = ".ace-chrome .ace_editor {\ text-align: right;\ }\ \ -.ace-chrome .ace_gutter-layer .ace_gutter-cell {\ - padding-right: 6px;\ -}\ -\ .ace-chrome .ace_print_margin {\ width: 1px;\ background: #e8e8e8;\