From 29d0a488d00876a0f0a97d956dc0d0e4aafea4b0 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Fri, 5 May 2017 08:29:09 -0700 Subject: [PATCH] Monokai: Don't use transparency in terminal colors Part of #26050 --- .../theme-monokai/themes/monokai-color-theme.json | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/extensions/theme-monokai/themes/monokai-color-theme.json b/extensions/theme-monokai/themes/monokai-color-theme.json index 7f54f825424..d8138d5cd91 100644 --- a/extensions/theme-monokai/themes/monokai-color-theme.json +++ b/extensions/theme-monokai/themes/monokai-color-theme.json @@ -71,12 +71,12 @@ "peekViewResult.matchHighlightBackground": "#75715E", "peekViewEditor.matchHighlightBackground": "#75715E", "terminal.ansiBlack": "#333333", - "terminal.ansiRed": "#f92672BF", - "terminal.ansiGreen": "#A6E22EBF", - "terminal.ansiYellow": "#e2e22eBF", - "terminal.ansiBlue": "#819affBF", - "terminal.ansiMagenta": "#AE81FFBF", - "terminal.ansiCyan": "#66D9EFBF", + "terminal.ansiRed": "#C4265E", // the bright color with ~75% transparent on the background + "terminal.ansiGreen": "#86B42B", + "terminal.ansiYellow": "#B3B42B", + "terminal.ansiBlue": "#6A7EC8", + "terminal.ansiMagenta": "#8C6BC8", + "terminal.ansiCyan": "#56ADBC", "terminal.ansiWhite": "#e3e3dd", "terminal.ansiBrightBlack": "#666666", "terminal.ansiBrightRed": "#f92672",