improve menus

Author: joaomoreno

themes/github-sharp-dark-theme.color-theme.json

@@ -87,6 +87,7 @@
     "menu.foreground": "#aaaaaa",
     "menu.selectionBackground": "#2a3538",
     "menu.separatorBackground": "#424242",
+    "menu.border": "#424242",
     "menubar.selectionBackground": "#2a3538",
     "button.background": "#5790be"
   },

themes/github-sharp-theme.color-theme.json

@@ -56,6 +56,7 @@
     "menu.selectionBackground": "#9e9e9e",
     "menubar.selectionBackground": "#494949",
     "menu.separatorBackground": "#494949",
+    "menu.border": "#494949",
     "button.background": "#5790be",
     "list.activeSelectionForeground": "#f0f0f0",
     "list.activeSelectionIconForeground": "#f0f0f0",