From db5ce55764c3c2dfa655a6a90e646b40cdb1b3ac Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Wed, 8 Jun 2016 06:58:53 +0100
Subject: [PATCH] Tweak game menu horizontal margins

Give it the same margins as other toolbar elements.
---
 src/gui/html/css/style.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/gui/html/css/style.css b/src/gui/html/css/style.css
index 93d4f3f3..77a5c3a3 100644
--- a/src/gui/html/css/style.css
+++ b/src/gui/html/css/style.css
@@ -44,6 +44,9 @@ tt, code, kbd, samp {
 #mainToolbar.search {
     display: none;
 }
+#gameMenu {
+  margin: 0 8px;
+}
 #applySortButton {
     color: #2196F3;
     background-color: white;