[bugzilla-gnome-org-customizations/production] CSS: Copy #top_bar background from gnome.org to "background"

[Andre Klapper <aklapper src gnome org>]

commit a64fe20f7870840a953b499e72db03b4cc9be15c
Author: Andre Klapper <a9016009 gmx de>
Date:   Fri Feb 13 01:39:11 2015 +0100

    CSS: Copy #top_bar background from gnome.org to "background"
    
    Bug 744410

 skins/contrib/Gnome/global.css     |   22 ++++++++++++++++++++++
 skins/contrib/Gnome/top_bar-bg.png |  Bin 0 -> 185 bytes
 2 files changed, 22 insertions(+), 0 deletions(-)
---
diff --git a/skins/contrib/Gnome/global.css b/skins/contrib/Gnome/global.css
new file mode 100644
index 0000000..73105d2
--- /dev/null
+++ b/skins/contrib/Gnome/global.css
@@ -0,0 +1,22 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This Source Code Form is "Incompatible With Secondary Licenses", as
+ * defined by the Mozilla Public License, v. 2.0.
+ */
+
+    /* copy #top_bar background from gnome.org to "background" - bug 744410 */
+    #titles {
+        width: 100%;
+        /* background-color: #404D6C; */
+        background: url("./top_bar-bg.png") repeat-x scroll center top #2E3436;
+        color: #fff;
+        border-top-left-radius: 5px;
+        border-top-right-radius: 5px;
+        font-size: 110%;
+        margin: 0;
+        padding: 0.5em;
+        vertical-align: bottom;
+    }
+
diff --git a/skins/contrib/Gnome/top_bar-bg.png b/skins/contrib/Gnome/top_bar-bg.png
new file mode 100644
index 0000000..567188c
Binary files /dev/null and b/skins/contrib/Gnome/top_bar-bg.png differ