src/Tools/VSCode/extension/package.json
changeset 67322 734a4e44b159
parent 67260 ecd607631bc7
child 67744 5c781dcd5864
     1.1 --- a/src/Tools/VSCode/extension/package.json	Tue Jan 02 13:16:32 2018 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Tue Jan 02 15:38:22 2018 +0100
     1.3 @@ -266,35 +266,35 @@
     1.4                      "type": "string",
     1.5                      "default": "rgba(204, 136, 0, 0.20)"
     1.6                  },
     1.7 -                "isabelle.markdown_item1_light_color": {
     1.8 +                "isabelle.markdown_bullet1_light_color": {
     1.9                      "type": "string",
    1.10                      "default": "rgba(218, 254, 218, 1.00)"
    1.11                  },
    1.12 -                "isabelle.markdown_item1_dark_color": {
    1.13 +                "isabelle.markdown_bullet1_dark_color": {
    1.14                      "type": "string",
    1.15                      "default": "rgba(5, 199, 5, 0.20)"
    1.16                  },
    1.17 -                "isabelle.markdown_item2_light_color": {
    1.18 +                "isabelle.markdown_bullet2_light_color": {
    1.19                      "type": "string",
    1.20                      "default": "rgba(255, 240, 204, 1.00)"
    1.21                  },
    1.22 -                "isabelle.markdown_item2_dark_color": {
    1.23 +                "isabelle.markdown_bullet2_dark_color": {
    1.24                      "type": "string",
    1.25                      "default": "rgba(204, 143, 0, 0.20)"
    1.26                  },
    1.27 -                "isabelle.markdown_item3_light_color": {
    1.28 +                "isabelle.markdown_bullet3_light_color": {
    1.29                      "type": "string",
    1.30                      "default": "rgba(231, 231, 255, 1.00)"
    1.31                  },
    1.32 -                "isabelle.markdown_item3_dark_color": {
    1.33 +                "isabelle.markdown_bullet3_dark_color": {
    1.34                      "type": "string",
    1.35                      "default": "rgba(0, 0, 204, 0.20)"
    1.36                  },
    1.37 -                "isabelle.markdown_item4_light_color": {
    1.38 +                "isabelle.markdown_bullet4_light_color": {
    1.39                      "type": "string",
    1.40                      "default": "rgba(255, 224, 240, 1.00)"
    1.41                  },
    1.42 -                "isabelle.markdown_item4_dark_color": {
    1.43 +                "isabelle.markdown_bullet4_dark_color": {
    1.44                      "type": "string",
    1.45                      "default": "rgba(204, 0, 105, 0.20)"
    1.46                  },