From 1a2cf96a5a687d163de6e1ff1aa572fe5580b408 Mon Sep 17 00:00:00 2001
From: RoboErikG <RoboErikG@users.noreply.github.com>
Date: Mon, 1 Apr 2019 12:43:19 -0700
Subject: [PATCH] Update selected menu sizing to fix #2351 (#2353)

---
 core/css.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/css.js b/core/css.js
index bed3f03d3..034ae18a4 100644
--- a/core/css.js
+++ b/core/css.js
@@ -925,8 +925,8 @@ Blockly.Css.CONTENT = [
     'border-color: #d6e9f8;',
     'border-style: dotted;',
     'border-width: 1px 0;',
-    'padding-bottom: 3px;',
-    'padding-top: 3px;',
+    'padding-bottom: 4px;',
+    'padding-top: 4px;',
   '}',
 
   '.blocklyDropDownDiv .goog-menuitem-highlight, ',