update menu

Author: joaomoreno

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

@@ -86,7 +86,7 @@
     "menu.background": "#24292e",
     "menu.foreground": "#aaaaaa",
     "menu.selectionBackground": "#2a3538",
-    "menu.separatorBackground": "#212427",
+    "menu.separatorBackground": "#424242",
     "menubar.selectionBackground": "#2a3538",
     "button.background": "#5790be"
   },

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

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