[gnumeric] GUI: Attempt a fix for GnmNotebook tabs appearance under gtk+ 3.12

[Morten Welinder <mortenw src gnome org>]

commit b52d6bc44852d64719aee5fe81149b02a44e569a
Author: Morten Welinder <terra gnome org>
Date:   Mon Apr 21 13:06:01 2014 -0400

    GUI: Attempt a fix for GnmNotebook tabs appearance under gtk+ 3.12

 ChangeLog        |    5 +++++
 NEWS             |    1 +
 src/gnumeric.css |    7 ++-----
 3 files changed, 8 insertions(+), 5 deletions(-)
---
diff --git a/ChangeLog b/ChangeLog
index 0226890..4ed7dff 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2014-04-21  Morten Welinder  <terra gnome org>
+
+       * src/gnumeric.css (GnmNotebook): Set padding for top and bottom
+       only in the hop of fixing #728465.
+
 2014-04-13  Morten Welinder <terra gnome org>
 
        * configure.ac: Post-release bump.
diff --git a/NEWS b/NEWS
index 4bb476b..a4ccd4b 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,7 @@ Andreas:
 Morten:
        * For xlsx, don't complain over "ext" elements.
        * xlsx graph import improvements.
+       * Attempt a fix for tabs appearance with gtk+ 3.12.  [#728465]
 
 --------------------------------------------------------------------------
 Gnumeric 1.12.14
diff --git a/src/gnumeric.css b/src/gnumeric.css
index 713e364..2269807 100644
--- a/src/gnumeric.css
+++ b/src/gnumeric.css
@@ -132,12 +132,9 @@ GtkDrawingArea.button.all {
 
 /* GnmNotebook is a fake notebook holding just the sheet tabs area */
 
-GnmNotebook tab {
-  /* background-color: #ff0000; */ /* Debug */
-}
-
 GnmNotebook {
-  padding: 0;
+  padding-top: 0;
+  padding-bottom: 0;
 }
 
 /* ------------------------------------------------------------------------- */