# HG changeset patch
# User wenzelm
# Date 1489239217 -3600
# Node ID 663bb1614d2311d4c02303d04cedb1dc25137958
# Parent  0f555ce33970604896969170c240a31cb5405856
tuned colors;

diff -r 0f555ce33970 -r 663bb1614d23 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sat Mar 11 14:25:26 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sat Mar 11 14:33:37 2017 +0100
@@ -69,9 +69,9 @@
                     "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
                 },
                 "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
-                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.15)" },
+                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
                 "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
-                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
+                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
                 "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
                 "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
                 "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },