From 930b5cf7af48a8dea510cca980eedd75e527a4a7 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Wed, 6 Feb 2013 12:59:01 +1000
Subject: [PATCH] Fix tooltip webkit gradient, reset ajax.org logo border

---
 demo/kitchen-sink/styles.css | 1 +
 lib/ace/css/editor.css       | 6 ++----
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/demo/kitchen-sink/styles.css b/demo/kitchen-sink/styles.css
index fba03773..f32a82a0 100644
--- a/demo/kitchen-sink/styles.css
+++ b/demo/kitchen-sink/styles.css
@@ -19,6 +19,7 @@ body {
 #logo {
     padding: 15px;
     margin-left: 70px;
+    border: none;
 }
 
 #editor-container {
diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 0aee0f71..81f8fbe6 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -252,7 +252,7 @@
 
 .ace_gutter-tooltip {
     background-color: #FFF;
-    background-image: -webkit-linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));
+    background-image: -webkit-linear-gradient(top, transparent, rgba(0, 0, 0, 0.1));
     background-image: linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));
     border: 1px solid gray;
     border-radius: 1px;
@@ -342,9 +342,7 @@
     -webkit-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);
     box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);
 }
-    
-    
-    
+
 .ace_fold-widget.ace_invalid {
     background-color: #FFB4B4;
     border-color: #DE5555;