add proper support for themes

client/public/themes/Amy.json

@@ -0,0 +1,191 @@
+{
+  "base": "vs-dark",
+  "inherit": true,
+  "rules": [
+    {
+      "background": "200020",
+      "token": ""
+    },
+    {
+      "foreground": "404080",
+      "background": "200020",
+      "fontStyle": "italic",
+      "token": "comment.block"
+    },
+    {
+      "foreground": "999999",
+      "token": "string"
+    },
+    {
+      "foreground": "707090",
+      "token": "constant.language"
+    },
+    {
+      "foreground": "7090b0",
+      "token": "constant.numeric"
+    },
+    {
+      "fontStyle": "bold",
+      "token": "constant.numeric.integer.int32"
+    },
+    {
+      "fontStyle": "italic",
+      "token": "constant.numeric.integer.int64"
+    },
+    {
+      "fontStyle": "bold italic",
+      "token": "constant.numeric.integer.nativeint"
+    },
+    {
+      "fontStyle": "underline",
+      "token": "constant.numeric.floating-point.ocaml"
+    },
+    {
+      "foreground": "666666",
+      "token": "constant.character"
+    },
+    {
+      "foreground": "8080a0",
+      "token": "constant.language.boolean"
+    },
+    {
+      "foreground": "008080",
+      "token": "variable.language"
+    },
+    {
+      "foreground": "008080",
+      "token": "variable.other"
+    },
+    {
+      "foreground": "a080ff",
+      "token": "keyword"
+    },
+    {
+      "foreground": "a0a0ff",
+      "token": "keyword.operator"
+    },
+    {
+      "foreground": "d0d0ff",
+      "token": "keyword.other.decorator"
+    },
+    {
+      "fontStyle": "underline",
+      "token": "keyword.operator.infix.floating-point.ocaml"
+    },
+    {
+      "fontStyle": "underline",
+      "token": "keyword.operator.prefix.floating-point.ocaml"
+    },
+    {
+      "foreground": "c080c0",
+      "token": "keyword.other.directive"
+    },
+    {
+      "foreground": "c080c0",
+      "fontStyle": "underline",
+      "token": "keyword.other.directive.line-number"
+    },
+    {
+      "foreground": "80a0ff",
+      "token": "keyword.control"
+    },
+    {
+      "foreground": "b0fff0",
+      "token": "storage"
+    },
+    {
+      "foreground": "60b0ff",
+      "token": "entity.name.type.variant"
+    },
+    {
+      "foreground": "60b0ff",
+      "fontStyle": "italic",
+      "token": "storage.type.variant.polymorphic"
+    },
+    {
+      "foreground": "60b0ff",
+      "fontStyle": "italic",
+      "token": "entity.name.type.variant.polymorphic"
+    },
+    {
+      "foreground": "b000b0",
+      "token": "entity.name.type.module"
+    },
+    {
+      "foreground": "b000b0",
+      "fontStyle": "underline",
+      "token": "entity.name.type.module-type.ocaml"
+    },
+    {
+      "foreground": "a00050",
+      "token": "support.other"
+    },
+    {
+      "foreground": "70e080",
+      "token": "entity.name.type.class"
+    },
+    {
+      "foreground": "70e0a0",
+      "token": "entity.name.type.class-type"
+    },
+    {
+      "foreground": "50a0a0",
+      "token": "entity.name.function"
+    },
+    {
+      "foreground": "80b0b0",
+      "token": "variable.parameter"
+    },
+    {
+      "foreground": "3080a0",
+      "token": "entity.name.type.token"
+    },
+    {
+      "foreground": "3cb0d0",
+      "token": "entity.name.type.token.reference"
+    },
+    {
+      "foreground": "90e0e0",
+      "token": "entity.name.function.non-terminal"
+    },
+    {
+      "foreground": "c0f0f0",
+      "token": "entity.name.function.non-terminal.reference"
+    },
+    {
+      "foreground": "009090",
+      "token": "entity.name.tag"
+    },
+    {
+      "background": "200020",
+      "token": "support.constant"
+    },
+    {
+      "foreground": "400080",
+      "background": "ffff00",
+      "fontStyle": "bold",
+      "token": "invalid.illegal"
+    },
+    {
+      "foreground": "200020",
+      "background": "cc66ff",
+      "token": "invalid.deprecated"
+    },
+    {
+      "background": "40008054",
+      "token": "source.camlp4.embedded"
+    },
+    {
+      "foreground": "805080",
+      "token": "punctuation"
+    }
+  ],
+  "colors": {
+    "editor.foreground": "#D0D0FF",
+    "editor.background": "#200020",
+    "editor.selectionBackground": "#80000080",
+    "editor.lineHighlightBackground": "#80000040",
+    "editorCursor.foreground": "#7070FF",
+    "editorWhitespace.foreground": "#BFBFBF"
+  }
+}