[gedit/wip/tabstyle] Custom style for tabs

[Ignacio Casal Quinteiro <icq src gnome org>]

commit f31e39ac916157cbcf89e74402ac158e1301bcea
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Wed Jan 15 16:18:10 2014 +0100

    Custom style for tabs

 gedit/gedit-style.css |   13 +++++++++++++
 1 files changed, 13 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-style.css b/gedit/gedit-style.css
index 6c26dce..65ea78e 100644
--- a/gedit/gedit-style.css
+++ b/gedit/gedit-style.css
@@ -23,3 +23,16 @@
     border-radius: 0;
     border-width: 0 0 1px 1px;
 }
+
+GeditNotebook.notebook tab {
+    background-color: @unfocused_theme_bg_color;
+    border-width: 0 1px;
+    border-color: @unfocused_borders;
+    border-radius: 5px 5px 0px 0px;
+}
+
+GeditNotebook.notebook tab:active {
+    background-color: @theme_bg_color;
+    border-width: 2px 1px 0px 1px;
+    border-top-color: @notebook_active_tab_border;
+}