# HG changeset patch
# User wenzelm
# Date 1489165972 -3600
# Node ID 93fb59c6805241f5f36f9f8971b78d49843e5000
# Parent  c0388fbd80964a27c463321d056b386d85664524
tuned colors;

diff -r c0388fbd8096 -r 93fb59c68052 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 10 17:08:21 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 10 18:12:52 2017 +0100
@@ -102,18 +102,18 @@
                 "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
                 "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
                 "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
-                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
-                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
-                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
-                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
-                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
-                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
+                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
+                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
+                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
+                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
+                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
+                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
                 "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
                 "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
-                "isabelle.improper_light_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
-                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
+                "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
+                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
                 "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
-                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
+                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
                 "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
                 "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
                 "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
diff -r c0388fbd8096 -r 93fb59c68052 src/Tools/VSCode/src/grammar.scala
--- a/src/Tools/VSCode/src/grammar.scala	Fri Mar 10 17:08:21 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Fri Mar 10 18:12:52 2017 +0100
@@ -82,7 +82,7 @@
       "match": """ + grouped_names(keywords1) + """
     },
     {
-      "name": "keyword.other.isabelle",
+      "name": "keyword.other.unit.isabelle",
       "match": """ + grouped_names(keywords2) + """
     },
     {
@@ -90,7 +90,7 @@
       "match": """ + grouped_names(operators) + """
     },
     {
-      "name": "entity.name.function.isabelle",
+      "name": "entity.name.type.isabelle",
       "match": """ + grouped_names(keywords3) + """
     },
     {