From 85fe047664ea6ac101ea4fc42059a2a52bf89c30 Mon Sep 17 00:00:00 2001 From: Miguel Solorio Date: Fri, 11 Oct 2019 13:28:54 -0700 Subject: [PATCH] Tweak Monokai colors for diff views --- extensions/theme-monokai/themes/monokai-color-theme.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/extensions/theme-monokai/themes/monokai-color-theme.json b/extensions/theme-monokai/themes/monokai-color-theme.json index ebff3a44985..306718cda2b 100644 --- a/extensions/theme-monokai/themes/monokai-color-theme.json +++ b/extensions/theme-monokai/themes/monokai-color-theme.json @@ -65,8 +65,8 @@ "focusBorder": "#75715E", "editorWidget.background": "#1e1f1c", "debugToolBar.background": "#1e1f1c", - "diffEditor.insertedTextBackground": "#66852880", // middle of #272822 and #a6e22e - "diffEditor.removedTextBackground": "#90274A80", // middle of #272822 and #f92672 + "diffEditor.insertedTextBackground": "#4b661680", // middle of #272822 and #a6e22e + "diffEditor.removedTextBackground": "#90274A70", // middle of #272822 and #f92672 "inputValidation.errorBackground": "#90274A", // middle of #272822 and #f92672 "inputValidation.errorBorder": "#f92672", "inputValidation.warningBackground": "#848528", // middle of #272822 and #e2e22e @@ -123,7 +123,7 @@ "name": "Comment", "scope": "comment", "settings": { - "foreground": "#75715E" + "foreground": "#88846f" } }, {