From 84b1f169679804cef4c19d45bf95cd18432128b6 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Fri, 25 Jan 2013 02:32:55 +1000
Subject: [PATCH] Improve tooltip style

---
 lib/ace/css/editor.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index b78a7189..c1dd818a 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -247,9 +247,12 @@
 }
 
 .ace_gutter-tooltip {
-    background-color: #FFFFD5;
+    background-color: #FFF;
+    background-image: -webkit-linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));
+    background-image: linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));
     border: 1px solid gray;
-    box-shadow: 0 1px 1px rgba(0, 0, 0, 0.4);
+    border-radius: 1px;
+    box-shadow: 0 1px 2px rgba(0, 0, 0, 0.3);
     color: black;
     display: inline-block;
     max-width: 500px;