update terminal colors

Author: joaomoreno

themes/github-sharp-dark-theme.json

@@ -66,11 +66,19 @@
     "editorGutter.deletedBackground": "#7e4545",
     "widget.shadow": "#252525",
     "terminal.ansiBlue": "#3584b9",
-    "terminal.ansiCyan": "#70a7cc",
+    "terminal.ansiBrightBlue": "#3584b9",
+    "terminal.ansiCyan": "#507b97",
+    "terminal.ansiBrightCyan": "#507b97",
     "terminal.ansiGreen": "#538848",
+    "terminal.ansiBrightGreen": "#538848",
     "terminal.ansiMagenta": "#886088",
-    "terminal.ansiRed": "#be3e3e",
+    "terminal.ansiBrightMagenta": "#886088",
+    "terminal.ansiRed": "#ac4444",
+    "terminal.ansiBrightRed": "#ac4444",
     "terminal.ansiYellow": "#ddc912",
+    "terminal.ansiBrightYellow": "#ddc912",
+    "terminal.ansiBlack": "#272f35",
+    "terminal.ansiBrightBlack": "#272f35",
     "editor.findMatchBackground": "#724f2a",
     "editor.findMatchHighlightBackground": "#4d4741",
     "menu.background": "#24292e",