# HG changeset patch
# User Na'Tosha Bard <natosha@unity3d.com>
# Date 1411139649 -7200
# Node ID 13c2a30e90a906e5c88eff2059b0a084c432922f
# Parent  3fba6c56ecee62a2d274debe47621cbf9a0c845f
Remove gradients in titlebar

This both cleans up the code and fixes the issue where buttons in the
titlebar will have their background color set to the titlebar background
color (with some weird gradient) when the user hovers over them.

diff -r 3fba6c56ecee -r 13c2a30e90a9 kallithea/public/css/style.css
--- a/kallithea/public/css/style.css	Fri Sep 19 17:19:50 2014 +0200
+++ b/kallithea/public/css/style.css	Fri Sep 19 17:14:09 2014 +0200
@@ -3887,19 +3887,6 @@
     padding: 0 10px 10px;
 }
 
-#content div.box div.title ul.links li a:hover,
-#content div.box div.title ul.links li.ui-tabs-selected a {
-
-    background: #6388ad; /* Old browsers */
-    background: -moz-linear-gradient(top, rgba(255,255,255,0.2) 0%, rgba(255,255,255,0.1) 100%); /* FF3.6+ */
-    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(255,255,255,0.1)), color-stop(100%,rgba(255,255,255,0))); /* Chrome,Safari4+ */
-    background: -webkit-linear-gradient(top, rgba(255,255,255,0.2) 0%, rgba(255,255,255,0.1) 100%); /* Chrome10+,Safari5.1+ */
-    background: -o-linear-gradient(top, rgba(255,255,255,0.2) 0%, rgba(255,255,255,0.1) 100%); /* Opera 11.10+ */
-    background: -ms-linear-gradient(top, rgba(255,255,255,0.2) 0%, rgba(255,255,255,0.1) 100%); /* IE10+ */
-    background: linear-gradient(to bottom, rgba(255,255,255,0.2) 0%, rgba(255,255,255,0.1) 100%); /* W3C */
-    /*filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#88bfe8', endColorstr='#70b0e0',GradientType=0 ); /* IE6-9 */
-}
-
 #content div.box ol.lower-roman, #content div.box ol.upper-roman, #content div.box ol.lower-alpha, #content div.box ol.upper-alpha, #content div.box ol.decimal {
     margin: 10px 24px 10px 44px;
 }