src/Tools/VSCode/extension/package.json
changeset 66095 78a1aedd1761
parent 66080 066f4ba9c965
child 66096 6187612e83c1
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Jun 16 15:59:27 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Jun 16 16:00:44 2017 +0200
     1.3 @@ -8,14 +8,20 @@
     1.4          "mathematical logic",
     1.5          "functional programming",
     1.6          "document preparation"
     1.7 -        ],
     1.8 +    ],
     1.9      "icon": "isabelle.png",
    1.10      "version": "0.14.0",
    1.11      "publisher": "makarius",
    1.12      "license": "MIT",
    1.13 -    "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    1.14 -    "engines": { "vscode": "^1.8.0" },
    1.15 -    "categories": ["Languages"],
    1.16 +    "repository": {
    1.17 +        "url": "http://isabelle.in.tum.de/repos/isabelle"
    1.18 +    },
    1.19 +    "engines": {
    1.20 +        "vscode": "^1.8.0"
    1.21 +    },
    1.22 +    "categories": [
    1.23 +        "Languages"
    1.24 +    ],
    1.25      "activationEvents": [
    1.26          "onLanguage:isabelle",
    1.27          "onLanguage:isabelle-ml",
    1.28 @@ -97,17 +103,26 @@
    1.29          "languages": [
    1.30              {
    1.31                  "id": "isabelle",
    1.32 -                "aliases": ["Isabelle"],
    1.33 -                "extensions": [".thy"],
    1.34 +                "aliases": [
    1.35 +                    "Isabelle"
    1.36 +                ],
    1.37 +                "extensions": [
    1.38 +                    ".thy"
    1.39 +                ],
    1.40                  "configuration": "./isabelle-language.json"
    1.41              },
    1.42              {
    1.43                  "id": "isabelle-ml",
    1.44 -                "aliases": ["Isabelle/ML"],
    1.45 -                "extensions": [".ML", ".sml", ".sig"],
    1.46 +                "aliases": [
    1.47 +                    "Isabelle/ML"
    1.48 +                ],
    1.49 +                "extensions": [
    1.50 +                    ".ML",
    1.51 +                    ".sml",
    1.52 +                    ".sig"
    1.53 +                ],
    1.54                  "configuration": "./isabelle-ml-language.json"
    1.55              }
    1.56 -
    1.57          ],
    1.58          "grammars": [
    1.59              {
    1.60 @@ -131,7 +146,9 @@
    1.61                  },
    1.62                  "isabelle.args": {
    1.63                      "type": "array",
    1.64 -                    "items": { "type": "string" },
    1.65 +                    "items": {
    1.66 +                        "type": "string"
    1.67 +                    },
    1.68                      "default": [],
    1.69                      "description": "Command-line arguments for isabelle vscode_server process."
    1.70                  },
    1.71 @@ -140,80 +157,302 @@
    1.72                      "default": "",
    1.73                      "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
    1.74                  },
    1.75 -                "isabelle.unprocessed_light_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
    1.76 -                "isabelle.unprocessed_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
    1.77 -                "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
    1.78 -                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
    1.79 -                "isabelle.running_light_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
    1.80 -                "isabelle.running_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
    1.81 -                "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
    1.82 -                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
    1.83 -                "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
    1.84 -                "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
    1.85 -                "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },
    1.86 -                "isabelle.intensify_dark_color": { "type": "string", "default": "rgba(204, 136, 0, 0.20)" },
    1.87 -                "isabelle.markdown_item1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
    1.88 -                "isabelle.markdown_item1_dark_color": { "type": "string", "default": "rgba(5, 199, 5, 0.20)" },
    1.89 -                "isabelle.markdown_item2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
    1.90 -                "isabelle.markdown_item2_dark_color": { "type": "string", "default": "rgba(204, 143, 0, 0.20)" },
    1.91 -                "isabelle.markdown_item3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
    1.92 -                "isabelle.markdown_item3_dark_color": { "type": "string", "default": "rgba(0, 0, 204, 0.20)" },
    1.93 -                "isabelle.markdown_item4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
    1.94 -                "isabelle.markdown_item4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" },
    1.95 -                "isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
    1.96 -                "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" },
    1.97 -                "isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
    1.98 -                "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" },
    1.99 -                "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
   1.100 -                "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
   1.101 -                "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
   1.102 -                "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
   1.103 -                "isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
   1.104 -                "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
   1.105 -                "isabelle.error_light_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
   1.106 -                "isabelle.error_dark_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
   1.107 -                "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
   1.108 -                "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
   1.109 -                "isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },
   1.110 -                "isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
   1.111 -                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
   1.112 -                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
   1.113 -                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
   1.114 -                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
   1.115 -                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
   1.116 -                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
   1.117 -                "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
   1.118 -                "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
   1.119 -                "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
   1.120 -                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
   1.121 -                "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
   1.122 -                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
   1.123 -                "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   1.124 -                "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   1.125 -                "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   1.126 -                "isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   1.127 -                "isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
   1.128 -                "isabelle.free_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
   1.129 -                "isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   1.130 -                "isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   1.131 -                "isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
   1.132 -                "isabelle.bound_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
   1.133 -                "isabelle.var_light_color": { "type": "string", "default": "rgba(0, 16, 128, 1.00)" },
   1.134 -                "isabelle.var_dark_color": { "type": "string", "default": "rgba(156, 220, 254, 1.00)" },
   1.135 -                "isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
   1.136 -                "isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
   1.137 -                "isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(163, 21, 21, 1.00)" },
   1.138 -                "isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(206, 145, 120, 1.00)" },
   1.139 -                "isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
   1.140 -                "isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
   1.141 -                "isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
   1.142 -                "isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
   1.143 -                "isabelle.dynamic_light_color": { "type": "string", "default": "rgba(121, 94, 38, 1.00)" },
   1.144 -                "isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(220, 220, 170, 1.00)" },
   1.145 -                "isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   1.146 -                "isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   1.147 -                "isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
   1.148 -                "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
   1.149 +                "isabelle.unprocessed_light_color": {
   1.150 +                    "type": "string",
   1.151 +                    "default": "rgba(255, 160, 160, 1.00)"
   1.152 +                },
   1.153 +                "isabelle.unprocessed_dark_color": {
   1.154 +                    "type": "string",
   1.155 +                    "default": "rgba(97, 0, 97, 1.00)"
   1.156 +                },
   1.157 +                "isabelle.unprocessed1_light_color": {
   1.158 +                    "type": "string",
   1.159 +                    "default": "rgba(255, 160, 160, 0.20)"
   1.160 +                },
   1.161 +                "isabelle.unprocessed1_dark_color": {
   1.162 +                    "type": "string",
   1.163 +                    "default": "rgba(97, 0, 97, 0.20)"
   1.164 +                },
   1.165 +                "isabelle.running_light_color": {
   1.166 +                    "type": "string",
   1.167 +                    "default": "rgba(97, 0, 97, 1.00)"
   1.168 +                },
   1.169 +                "isabelle.running_dark_color": {
   1.170 +                    "type": "string",
   1.171 +                    "default": "rgba(255, 160, 160, 1.00)"
   1.172 +                },
   1.173 +                "isabelle.running1_light_color": {
   1.174 +                    "type": "string",
   1.175 +                    "default": "rgba(97, 0, 97, 0.40)"
   1.176 +                },
   1.177 +                "isabelle.running1_dark_color": {
   1.178 +                    "type": "string",
   1.179 +                    "default": "rgba(255, 160, 160, 0.40)"
   1.180 +                },
   1.181 +                "isabelle.bad_light_color": {
   1.182 +                    "type": "string",
   1.183 +                    "default": "rgba(255, 106, 106, 0.40)"
   1.184 +                },
   1.185 +                "isabelle.bad_dark_color": {
   1.186 +                    "type": "string",
   1.187 +                    "default": "rgba(255, 106, 106, 0.40)"
   1.188 +                },
   1.189 +                "isabelle.intensify_light_color": {
   1.190 +                    "type": "string",
   1.191 +                    "default": "rgba(255, 204, 102, 0.40)"
   1.192 +                },
   1.193 +                "isabelle.intensify_dark_color": {
   1.194 +                    "type": "string",
   1.195 +                    "default": "rgba(204, 136, 0, 0.20)"
   1.196 +                },
   1.197 +                "isabelle.markdown_item1_light_color": {
   1.198 +                    "type": "string",
   1.199 +                    "default": "rgba(218, 254, 218, 1.00)"
   1.200 +                },
   1.201 +                "isabelle.markdown_item1_dark_color": {
   1.202 +                    "type": "string",
   1.203 +                    "default": "rgba(5, 199, 5, 0.20)"
   1.204 +                },
   1.205 +                "isabelle.markdown_item2_light_color": {
   1.206 +                    "type": "string",
   1.207 +                    "default": "rgba(255, 240, 204, 1.00)"
   1.208 +                },
   1.209 +                "isabelle.markdown_item2_dark_color": {
   1.210 +                    "type": "string",
   1.211 +                    "default": "rgba(204, 143, 0, 0.20)"
   1.212 +                },
   1.213 +                "isabelle.markdown_item3_light_color": {
   1.214 +                    "type": "string",
   1.215 +                    "default": "rgba(231, 231, 255, 1.00)"
   1.216 +                },
   1.217 +                "isabelle.markdown_item3_dark_color": {
   1.218 +                    "type": "string",
   1.219 +                    "default": "rgba(0, 0, 204, 0.20)"
   1.220 +                },
   1.221 +                "isabelle.markdown_item4_light_color": {
   1.222 +                    "type": "string",
   1.223 +                    "default": "rgba(255, 224, 240, 1.00)"
   1.224 +                },
   1.225 +                "isabelle.markdown_item4_dark_color": {
   1.226 +                    "type": "string",
   1.227 +                    "default": "rgba(204, 0, 105, 0.20)"
   1.228 +                },
   1.229 +                "isabelle.quoted_light_color": {
   1.230 +                    "type": "string",
   1.231 +                    "default": "rgba(139, 139, 139, 0.10)"
   1.232 +                },
   1.233 +                "isabelle.quoted_dark_color": {
   1.234 +                    "type": "string",
   1.235 +                    "default": "rgba(150, 150, 150, 0.15)"
   1.236 +                },
   1.237 +                "isabelle.antiquoted_light_color": {
   1.238 +                    "type": "string",
   1.239 +                    "default": "rgba(255, 200, 50, 0.10)"
   1.240 +                },
   1.241 +                "isabelle.antiquoted_dark_color": {
   1.242 +                    "type": "string",
   1.243 +                    "default": "rgba(255, 214, 102, 0.15)"
   1.244 +                },
   1.245 +                "isabelle.writeln_light_color": {
   1.246 +                    "type": "string",
   1.247 +                    "default": "rgba(192, 192, 192, 1.0)"
   1.248 +                },
   1.249 +                "isabelle.writeln_dark_color": {
   1.250 +                    "type": "string",
   1.251 +                    "default": "rgba(192, 192, 192, 1.0)"
   1.252 +                },
   1.253 +                "isabelle.information_light_color": {
   1.254 +                    "type": "string",
   1.255 +                    "default": "rgba(193, 223, 238, 1.0)"
   1.256 +                },
   1.257 +                "isabelle.information_dark_color": {
   1.258 +                    "type": "string",
   1.259 +                    "default": "rgba(193, 223, 238, 1.0)"
   1.260 +                },
   1.261 +                "isabelle.warning_light_color": {
   1.262 +                    "type": "string",
   1.263 +                    "default": "rgba(255, 140, 0, 1.0)"
   1.264 +                },
   1.265 +                "isabelle.warning_dark_color": {
   1.266 +                    "type": "string",
   1.267 +                    "default": "rgba(255, 140, 0, 1.0)"
   1.268 +                },
   1.269 +                "isabelle.error_light_color": {
   1.270 +                    "type": "string",
   1.271 +                    "default": "rgba(178, 34, 34, 1.00)"
   1.272 +                },
   1.273 +                "isabelle.error_dark_color": {
   1.274 +                    "type": "string",
   1.275 +                    "default": "rgba(178, 34, 34, 1.00)"
   1.276 +                },
   1.277 +                "isabelle.spell_checker_light_color": {
   1.278 +                    "type": "string",
   1.279 +                    "default": "rgba(0, 0, 255, 1.0)"
   1.280 +                },
   1.281 +                "isabelle.spell_checker_dark_color": {
   1.282 +                    "type": "string",
   1.283 +                    "default": "rgba(86, 156, 214, 1.00)"
   1.284 +                },
   1.285 +                "isabelle.main_light_color": {
   1.286 +                    "type": "string",
   1.287 +                    "default": "rgba(0, 0, 0, 1.00)"
   1.288 +                },
   1.289 +                "isabelle.main_dark_color": {
   1.290 +                    "type": "string",
   1.291 +                    "default": "rgba(212, 212, 212, 1.00)"
   1.292 +                },
   1.293 +                "isabelle.keyword1_light_color": {
   1.294 +                    "type": "string",
   1.295 +                    "default": "rgba(175, 0, 219, 1.00)"
   1.296 +                },
   1.297 +                "isabelle.keyword1_dark_color": {
   1.298 +                    "type": "string",
   1.299 +                    "default": "rgba(197, 134, 192, 1.00)"
   1.300 +                },
   1.301 +                "isabelle.keyword2_light_color": {
   1.302 +                    "type": "string",
   1.303 +                    "default": "rgba(9, 136, 90, 1.00)"
   1.304 +                },
   1.305 +                "isabelle.keyword2_dark_color": {
   1.306 +                    "type": "string",
   1.307 +                    "default": "rgba(181, 206, 168, 1.00)"
   1.308 +                },
   1.309 +                "isabelle.keyword3_light_color": {
   1.310 +                    "type": "string",
   1.311 +                    "default": "rgba(38, 127, 153, 1.00)"
   1.312 +                },
   1.313 +                "isabelle.keyword3_dark_color": {
   1.314 +                    "type": "string",
   1.315 +                    "default": "rgba(78, 201, 176), 1.00)"
   1.316 +                },
   1.317 +                "isabelle.quasi_keyword_light_color": {
   1.318 +                    "type": "string",
   1.319 +                    "default": "rgba(153, 102, 255, 1.00)"
   1.320 +                },
   1.321 +                "isabelle.quasi_keyword_dark_color": {
   1.322 +                    "type": "string",
   1.323 +                    "default": "rgba(153, 102, 255, 1.00)"
   1.324 +                },
   1.325 +                "isabelle.improper_light_color": {
   1.326 +                    "type": "string",
   1.327 +                    "default": "rgba(205, 49, 49, 1.00)"
   1.328 +                },
   1.329 +                "isabelle.improper_dark_color": {
   1.330 +                    "type": "string",
   1.331 +                    "default": "rgba(244, 71, 71, 1.00)"
   1.332 +                },
   1.333 +                "isabelle.operator_light_color": {
   1.334 +                    "type": "string",
   1.335 +                    "default": "rgba(50, 50, 50, 1.00)"
   1.336 +                },
   1.337 +                "isabelle.operator_dark_color": {
   1.338 +                    "type": "string",
   1.339 +                    "default": "rgba(212, 212, 212, 1.00)"
   1.340 +                },
   1.341 +                "isabelle.tfree_light_color": {
   1.342 +                    "type": "string",
   1.343 +                    "default": "rgba(160, 32, 240, 1.00)"
   1.344 +                },
   1.345 +                "isabelle.tfree_dark_color": {
   1.346 +                    "type": "string",
   1.347 +                    "default": "rgba(160, 32, 240, 1.00)"
   1.348 +                },
   1.349 +                "isabelle.tvar_light_color": {
   1.350 +                    "type": "string",
   1.351 +                    "default": "rgba(160, 32, 240, 1.00)"
   1.352 +                },
   1.353 +                "isabelle.tvar_dark_color": {
   1.354 +                    "type": "string",
   1.355 +                    "default": "rgba(160, 32, 240, 1.00)"
   1.356 +                },
   1.357 +                "isabelle.free_light_color": {
   1.358 +                    "type": "string",
   1.359 +                    "default": "rgba(0, 0, 255, 1.00)"
   1.360 +                },
   1.361 +                "isabelle.free_dark_color": {
   1.362 +                    "type": "string",
   1.363 +                    "default": "rgba(86, 156, 214, 1.00)"
   1.364 +                },
   1.365 +                "isabelle.skolem_light_color": {
   1.366 +                    "type": "string",
   1.367 +                    "default": "rgba(210, 105, 30, 1.00)"
   1.368 +                },
   1.369 +                "isabelle.skolem_dark_color": {
   1.370 +                    "type": "string",
   1.371 +                    "default": "rgba(210, 105, 30, 1.00)"
   1.372 +                },
   1.373 +                "isabelle.bound_light_color": {
   1.374 +                    "type": "string",
   1.375 +                    "default": "rgba(0, 128, 0, 1.00)"
   1.376 +                },
   1.377 +                "isabelle.bound_dark_color": {
   1.378 +                    "type": "string",
   1.379 +                    "default": "rgba(96, 139, 78, 1.00)"
   1.380 +                },
   1.381 +                "isabelle.var_light_color": {
   1.382 +                    "type": "string",
   1.383 +                    "default": "rgba(0, 16, 128, 1.00)"
   1.384 +                },
   1.385 +                "isabelle.var_dark_color": {
   1.386 +                    "type": "string",
   1.387 +                    "default": "rgba(156, 220, 254, 1.00)"
   1.388 +                },
   1.389 +                "isabelle.inner_numeral_light_color": {
   1.390 +                    "type": "string",
   1.391 +                    "default": "rgba(9, 136, 90, 1.00)"
   1.392 +                },
   1.393 +                "isabelle.inner_numeral_dark_color": {
   1.394 +                    "type": "string",
   1.395 +                    "default": "rgba(181, 206, 168, 1.00)"
   1.396 +                },
   1.397 +                "isabelle.inner_quoted_light_color": {
   1.398 +                    "type": "string",
   1.399 +                    "default": "rgba(163, 21, 21, 1.00)"
   1.400 +                },
   1.401 +                "isabelle.inner_quoted_dark_color": {
   1.402 +                    "type": "string",
   1.403 +                    "default": "rgba(206, 145, 120, 1.00)"
   1.404 +                },
   1.405 +                "isabelle.inner_cartouche_light_color": {
   1.406 +                    "type": "string",
   1.407 +                    "default": "rgba(129, 31, 63, 1.00)"
   1.408 +                },
   1.409 +                "isabelle.inner_cartouche_dark_color": {
   1.410 +                    "type": "string",
   1.411 +                    "default": "rgba(209, 105, 105, 1.00)"
   1.412 +                },
   1.413 +                "isabelle.inner_comment_light_color": {
   1.414 +                    "type": "string",
   1.415 +                    "default": "rgba(0, 128, 0, 1.00)"
   1.416 +                },
   1.417 +                "isabelle.inner_comment_dark_color": {
   1.418 +                    "type": "string",
   1.419 +                    "default": "rgba(96, 139, 78, 1.00)"
   1.420 +                },
   1.421 +                "isabelle.dynamic_light_color": {
   1.422 +                    "type": "string",
   1.423 +                    "default": "rgba(121, 94, 38, 1.00)"
   1.424 +                },
   1.425 +                "isabelle.dynamic_dark_color": {
   1.426 +                    "type": "string",
   1.427 +                    "default": "rgba(220, 220, 170, 1.00)"
   1.428 +                },
   1.429 +                "isabelle.class_parameter_light_color": {
   1.430 +                    "type": "string",
   1.431 +                    "default": "rgba(210, 105, 30, 1.00)"
   1.432 +                },
   1.433 +                "isabelle.class_parameter_dark_color": {
   1.434 +                    "type": "string",
   1.435 +                    "default": "rgba(210, 105, 30, 1.00)"
   1.436 +                },
   1.437 +                "isabelle.antiquote_light_color": {
   1.438 +                    "type": "string",
   1.439 +                    "default": "rgba(102, 0, 204, 1.00)"
   1.440 +                },
   1.441 +                "isabelle.antiquote_dark_color": {
   1.442 +                    "type": "string",
   1.443 +                    "default": "rgba(197, 134, 192, 1.00)"
   1.444 +                }
   1.445              }
   1.446          }
   1.447      },