sqlserver.json 2.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586
  1. {
  2. "theme": {
  3. ".cm-gutters": {
  4. "backgroundColor": "transparent",
  5. "borderRightColor": "transparent",
  6. "background": "#ebebeb",
  7. "color": "#333",
  8. "overflow": "hidden"
  9. },
  10. "&": {
  11. "backgroundColor": "#FFFFFF",
  12. "color": "black"
  13. },
  14. ".cm-cursor, .cm-dropCursor": {
  15. "color": "black"
  16. },
  17. "&.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection, .cm-searchMatch.cm-searchMatch.cm-searchMatch-selected": {
  18. "background": "rgb(181, 213, 255)"
  19. },
  20. "&.cm-focused .cm-matchingBracket, &.cm-focused .cm-nonmatchingBracket": {
  21. "margin": 0,
  22. "outline": "1px solid rgb(192, 192, 192)"
  23. },
  24. ".cm-activeLine": {
  25. "background": "rgba(0, 0, 0, 0.07)"
  26. },
  27. ".cm-activeLineGutter": {
  28. "backgroundColor": "#dcdcdc"
  29. },
  30. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  31. "background": "rgb(250, 250, 255)",
  32. "outline": "1px solid rgb(200, 200, 250)",
  33. "margin": 0
  34. }
  35. },
  36. "highlightStyle": {
  37. ".tok-string": {
  38. "color": "#FF0000"
  39. },
  40. ".tok-keyword": {
  41. "color": "#0000FF"
  42. },
  43. ".tok-number": {
  44. "color": "black"
  45. },
  46. ".tok-typeName": {
  47. "color": "#11B7BE"
  48. },
  49. ".tok-operator": {
  50. "color": "#808080"
  51. },
  52. ".tok-paren": {
  53. "color": "#808080"
  54. },
  55. ".tok-punctuation": {
  56. "color": "#808080"
  57. },
  58. ".tok-literal": {
  59. "color": "black"
  60. },
  61. ".tok-invalid": {
  62. "backgroundColor": "rgb(153, 0, 0)",
  63. "color": "white"
  64. },
  65. ".tok-class": {
  66. "color": "#008080"
  67. },
  68. ".tok-attributeValue": {
  69. "fontStyle": "italic",
  70. "color": "rgb(49, 132, 149)"
  71. },
  72. ".tok-comment": {
  73. "color": "#008000"
  74. },
  75. ".tok-heading": {
  76. "color": "rgb(12, 7, 255)"
  77. },
  78. ".tok-list": {
  79. "color": "rgb(185, 6, 144)"
  80. },
  81. ".tok-attributeName": {
  82. "color": "#994409"
  83. }
  84. },
  85. "dark": false
  86. }