[gitg/wip/actions] Remove obsolete style

[Jesse van den Kieboom <jessevdk src gnome org>]

commit cb1ee1dded432f061f89f9205a6f26be89754ee9
Author: Jesse van den Kieboom <jessevdk gmail com>
Date:   Sat Jan 18 13:28:40 2014 +0100

    Remove obsolete style

 gitg/resources/ui/style.css |    5 -----
 1 files changed, 0 insertions(+), 5 deletions(-)
---
diff --git a/gitg/resources/ui/style.css b/gitg/resources/ui/style.css
index a74aac6..50bb779 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,