# HG changeset patch
# User wenzelm
# Date 1489238301 -3600
# Node ID 37f1effd6683c6ea49885b763db1a3256b0ffa63
# Parent  973b7669e7d9ad02f5ceba24d7244bc3a41d522b
tuned colors;

diff -r 973b7669e7d9 -r 37f1effd6683 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sat Mar 11 14:03:46 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sat Mar 11 14:18:21 2017 +0100
@@ -69,7 +69,7 @@
                     "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.10)" },
+                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.15)" },
                 "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.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
@@ -85,9 +85,9 @@
                 "isabelle.markdown_item4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
                 "isabelle.markdown_item4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" },
                 "isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
-                "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(109, 109, 109, 0.10)" },
+                "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" },
                 "isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
-                "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
+                "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" },
                 "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
                 "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
                 "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },