[bugzilla-gnome-org-customizations] Increase font size

[Tom Tryfonidis <tomtryf src gnome org>]

commit bc6e8b5401604a453a1774a110411d1593823bfd
Author: Tom Tryfonidis <tomtryf gnome org>
Date:   Fri Mar 17 12:54:50 2017 +0200

    Increase font size

 skins/contrib/Gnome/global.css |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/skins/contrib/Gnome/global.css b/skins/contrib/Gnome/global.css
index 8ff4d9a..95279d5 100644
--- a/skins/contrib/Gnome/global.css
+++ b/skins/contrib/Gnome/global.css
@@ -11,6 +11,7 @@
 
 body, td, th, input {
     font-family: Cantarell,'Droid Sans',Ubuntu,'DejaVu Sans',Arial,sans-serif;
+    font-size: 14px;
 }
 
 body {
@@ -25,7 +26,7 @@ body {
 #header .links li:first-child a {
     background-image: url("./index/gnome-logo.svg");
     background-position: calc(3%) 50%;
-    padding:12px 0 8px 60px;
+    padding:12px 0 5px 60px;
     background-repeat: no-repeat;
     background-size: 90px auto;
     color: transparent;