[gnome-themes-standard] notebook: fix border for vertical tabs

[Cosimo Cecchi <cosimoc src gnome org>]

commit 4fcbadf911eafdf5e51fb660a99a88f895578d22
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu Oct 4 08:54:32 2012 -0400

    notebook: fix border for vertical tabs
    
    Regression from 34e1d166fadd2f14aa0f711d569f68b17d2f6f48

 themes/Adwaita/gtk-3.0/gtk-widgets.css |   17 ++++++++++++-----
 1 files changed, 12 insertions(+), 5 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index b0adf55..fb41633 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -1646,11 +1646,6 @@ GtkLinkButton.button *:active {
 }
 
 .notebook tab:active {
-    border-image-source: -gtk-gradient (linear,
-                                        left top, left bottom,
-                                        from (@notebook_active_tab_border),
-                                        to (@borders));
-
     background-image: linear-gradient(to bottom,
                                       @notebook_selected_tab_color,
                                       @notebook_selected_tab_color 2px,
@@ -1659,6 +1654,14 @@ GtkLinkButton.button *:active {
                                       );
 }
 
+.notebook tab.top:active,
+.notebook tab.bottom:active {
+    border-image-source: -gtk-gradient (linear,
+                                        left top, left bottom,
+                                        from (@notebook_active_tab_border),
+                                        to (@borders));
+}
+
 .notebook tab:active:backdrop {
     /* FIXME I need to set a background-image here, background-color is ignored */
     background-image: linear-gradient(to bottom,
@@ -1669,6 +1672,10 @@ GtkLinkButton.button *:active {
                                       );
     background-color:  @theme_unfocused_base_color;
     border-color: @unfocused_borders;
+}
+
+.notebook tab.top:active:backdrop,
+.notebook tab.bottom:active:backdrop {
     /* FIXME - should be possible to set it to none and use border color */
     border-image-source: -gtk-gradient (linear,
                                         left top, left bottom,