From 250d4d925566f1206de9bf1331b69bd1bbdfb94c Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 6 Oct 2010 15:24:53 +0200
Subject: [PATCH] css tweaks

---
 src/ace/css/editor.css | 2 +-
 src/ace/theme/tm.css   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ace/css/editor.css b/src/ace/css/editor.css
index e6afd1fa..d2db5f81 100644
--- a/src/ace/css/editor.css
+++ b/src/ace/css/editor.css
@@ -11,7 +11,7 @@
 
 .ace_gutter {
   position: absolute;
-  overflow-x: scroll;
+  overflow-x: hidden;
   overflow-y: hidden;
   height: 100%;
 }
diff --git a/src/ace/theme/tm.css b/src/ace/theme/tm.css
index ae942f5a..2322f343 100644
--- a/src/ace/theme/tm.css
+++ b/src/ace/theme/tm.css
@@ -10,13 +10,13 @@
 
 .ace-tm .ace_gutter {
   width: 50px;
-  background: rgb(227, 227, 227);
+  background: #e8e8e8;
   color: rgb(136, 136, 136);
 }
 
 .ace-tm .ace_editor .ace_printMargin {
   width: 1px;
-  background: rgb(191, 191, 191);
+  background: #e8e8e8;
 }
 
 .ace-tm .ace_gutter-layer {