Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.

187 lines
4.0KB

  1. {
  2. "base": "vs-dark",
  3. "inherit": true,
  4. "rules": [
  5. {
  6. "foreground": "404080",
  7. "background": "200020",
  8. "fontStyle": "italic",
  9. "token": "comment.block"
  10. },
  11. {
  12. "foreground": "999999",
  13. "token": "string"
  14. },
  15. {
  16. "foreground": "707090",
  17. "token": "constant.language"
  18. },
  19. {
  20. "foreground": "7090b0",
  21. "token": "constant.numeric"
  22. },
  23. {
  24. "fontStyle": "bold",
  25. "token": "constant.numeric.integer.int32"
  26. },
  27. {
  28. "fontStyle": "italic",
  29. "token": "constant.numeric.integer.int64"
  30. },
  31. {
  32. "fontStyle": "bold italic",
  33. "token": "constant.numeric.integer.nativeint"
  34. },
  35. {
  36. "fontStyle": "underline",
  37. "token": "constant.numeric.floating-point.ocaml"
  38. },
  39. {
  40. "foreground": "666666",
  41. "token": "constant.character"
  42. },
  43. {
  44. "foreground": "8080a0",
  45. "token": "constant.language.boolean"
  46. },
  47. {
  48. "foreground": "008080",
  49. "token": "variable.language"
  50. },
  51. {
  52. "foreground": "008080",
  53. "token": "variable.other"
  54. },
  55. {
  56. "foreground": "a080ff",
  57. "token": "keyword"
  58. },
  59. {
  60. "foreground": "a0a0ff",
  61. "token": "keyword.operator"
  62. },
  63. {
  64. "foreground": "d0d0ff",
  65. "token": "keyword.other.decorator"
  66. },
  67. {
  68. "fontStyle": "underline",
  69. "token": "keyword.operator.infix.floating-point.ocaml"
  70. },
  71. {
  72. "fontStyle": "underline",
  73. "token": "keyword.operator.prefix.floating-point.ocaml"
  74. },
  75. {
  76. "foreground": "c080c0",
  77. "token": "keyword.other.directive"
  78. },
  79. {
  80. "foreground": "c080c0",
  81. "fontStyle": "underline",
  82. "token": "keyword.other.directive.line-number"
  83. },
  84. {
  85. "foreground": "80a0ff",
  86. "token": "keyword.control"
  87. },
  88. {
  89. "foreground": "b0fff0",
  90. "token": "storage"
  91. },
  92. {
  93. "foreground": "60b0ff",
  94. "token": "entity.name.type.variant"
  95. },
  96. {
  97. "foreground": "60b0ff",
  98. "fontStyle": "italic",
  99. "token": "storage.type.variant.polymorphic"
  100. },
  101. {
  102. "foreground": "60b0ff",
  103. "fontStyle": "italic",
  104. "token": "entity.name.type.variant.polymorphic"
  105. },
  106. {
  107. "foreground": "b000b0",
  108. "token": "entity.name.type.module"
  109. },
  110. {
  111. "foreground": "b000b0",
  112. "fontStyle": "underline",
  113. "token": "entity.name.type.module-type.ocaml"
  114. },
  115. {
  116. "foreground": "a00050",
  117. "token": "support.other"
  118. },
  119. {
  120. "foreground": "70e080",
  121. "token": "entity.name.type.class"
  122. },
  123. {
  124. "foreground": "70e0a0",
  125. "token": "entity.name.type.class-type"
  126. },
  127. {
  128. "foreground": "50a0a0",
  129. "token": "entity.name.function"
  130. },
  131. {
  132. "foreground": "80b0b0",
  133. "token": "variable.parameter"
  134. },
  135. {
  136. "foreground": "3080a0",
  137. "token": "entity.name.type.token"
  138. },
  139. {
  140. "foreground": "3cb0d0",
  141. "token": "entity.name.type.token.reference"
  142. },
  143. {
  144. "foreground": "90e0e0",
  145. "token": "entity.name.function.non-terminal"
  146. },
  147. {
  148. "foreground": "c0f0f0",
  149. "token": "entity.name.function.non-terminal.reference"
  150. },
  151. {
  152. "foreground": "009090",
  153. "token": "entity.name.tag"
  154. },
  155. {
  156. "background": "200020",
  157. "token": "support.constant"
  158. },
  159. {
  160. "foreground": "400080",
  161. "background": "ffff00",
  162. "fontStyle": "bold",
  163. "token": "invalid.illegal"
  164. },
  165. {
  166. "foreground": "200020",
  167. "background": "cc66ff",
  168. "token": "invalid.deprecated"
  169. },
  170. {
  171. "background": "400080",
  172. "token": "source.camlp4.embedded"
  173. },
  174. {
  175. "foreground": "805080",
  176. "token": "punctuation"
  177. }
  178. ],
  179. "colors": {
  180. "editor.foreground": "#D0D0FF",
  181. "editor.background": "#200020",
  182. "editor.selectionBackground": "#800000",
  183. "editor.lineHighlightBackground": "#800000",
  184. "editorCursor.foreground": "#7070FF",
  185. "editorWhitespace.foreground": "#BFBFBF"
  186. }
  187. }