From b1d50f7beb200c416b3eb0b5266f2d5377059403 Mon Sep 17 00:00:00 2001
From: Ben Sturmfels <ben@sturm.com.au>
Date: Wed, 18 Sep 2019 16:02:38 +1000
Subject: [PATCH] Even up top/bottom margins around header dropdown button.

Bottom margin was less than top margin.
---
 mediagoblin/static/css/base.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mediagoblin/static/css/base.css b/mediagoblin/static/css/base.css
index 6da19f94..11558fe5 100644
--- a/mediagoblin/static/css/base.css
+++ b/mediagoblin/static/css/base.css
@@ -142,7 +142,7 @@ header {
 
 .header_right {
   width: 47%;
-  margin: 8px 8px 4px 0;
+  margin: 8px 8px 8px 0;
   display: inline-block;
   float: right;
   text-align: right;
@@ -195,7 +195,7 @@ a.logo {
 
 .logo img {
   vertical-align: middle;
-  margin: 6px 8px 6px 0;
+  margin: 8px 8px 6px 0;
 }
 
 .welcomeimage {
-- 
2.25.1