From a42b9582bff50e3bbd41e31d0700cef14b21ffde Mon Sep 17 00:00:00 2001 From: Jesse van den Kieboom Date: Sat, 18 Jan 2014 13:28:40 +0100 Subject: [PATCH] Remove obsolete style --- gitg/resources/ui/style.css | 5 ----- 1 file changed, 5 deletions(-) diff --git a/gitg/resources/ui/style.css b/gitg/resources/ui/style.css index a74aac69..50bb779d 100644 --- a/gitg/resources/ui/style.css +++ b/gitg/resources/ui/style.css @@ -42,11 +42,6 @@ GtkToolbar#toolbar_subnav { border-bottom: 0px; } -#navigation_background { - background-color: shade(@theme_bg_color, 0.85); - background-image: none; -} - .panels-paned.pane-separator, .panels-paned.pane-separator:hover, .sidebar-paned.pane-separator,