fix terminal active border

Author: joaomoreno

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

@@ -80,6 +80,7 @@
     "terminal.ansiBrightYellow": "#ddc912",
     "terminal.ansiBlack": "#272f35",
     "terminal.ansiBrightBlack": "#797979",
+    "terminal.tab.activeBorder": "#00000000",
     "editor.findMatchBackground": "#724f2a",
     "editor.findMatchHighlightBackground": "#4d4741",
     "menu.background": "#24292e",
@@ -108,19 +109,13 @@
       }
     },
     {
-      "scope": [
-        "strong",
-        "markup.heading.markdown",
-        "markup.bold.markdown"
-      ],
+      "scope": ["strong", "markup.heading.markdown", "markup.bold.markdown"],
       "settings": {
         "fontStyle": "bold"
       }
     },
     {
-      "scope": [
-        "markup.italic.markdown"
-      ],
+      "scope": ["markup.italic.markdown"],
       "settings": {
         "fontStyle": "italic"
       }
@@ -133,11 +128,7 @@
       }
     },
     {
-      "scope": [
-        "comment",
-        "markup.fenced_code",
-        "markup.inline"
-      ],
+      "scope": ["comment", "markup.fenced_code", "markup.inline"],
       "settings": {
         "foreground": "#6a737d"
       }

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

@@ -45,6 +45,7 @@
     "sideBar.border": "#cecece",
     "panel.background": "#f3f3f3",
     "terminal.background": "#f3f3f3",
+    "terminal.tab.activeBorder": "#00000000",
     "sideBarSectionHeader.background": "#e6e6e6",
     "sideBarSectionHeader.foreground": "#616161",
     "list.activeSelectionBackground": "#5790be",