overrides.json 2.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  1. {
  2. "all": {
  3. "theme": {
  4. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  5. "margin": 0
  6. },
  7. "&.cm-focused .cm-matchingBracket, &.cm-focused .cm-nonmatchingBracket": {
  8. "margin": 0
  9. }
  10. }
  11. },
  12. "overleaf": {
  13. "highlightStyle": {
  14. ".tok-labelName": {
  15. "color": "#3F7F7F"
  16. },
  17. ".tok-number": {
  18. "color": "#5A5CAD"
  19. }
  20. },
  21. "theme": {
  22. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  23. "background": "rgba(250, 250, 255, 0.5)",
  24. "outline": "1px solid rgb(200, 200, 250)"
  25. }
  26. }
  27. },
  28. "textmate": {
  29. "highlightStyle": {
  30. ".tok-labelName": {
  31. "color": "#833FBA"
  32. },
  33. ".tok-literal": {
  34. "color": "#833FBA"
  35. }
  36. },
  37. "theme": {
  38. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  39. "background": "rgba(250, 250, 255, 0.5)",
  40. "outline": "1px solid rgb(200, 200, 250)"
  41. }
  42. }
  43. },
  44. "chrome": {
  45. "theme": {
  46. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  47. "background": "rgba(250, 250, 255, 0.5)",
  48. "outline": "1px solid rgb(200, 200, 250)"
  49. }
  50. }
  51. },
  52. "dracula": {
  53. "highlightStyle": {
  54. ".tok-literal": {
  55. "color": "#ff79c6"
  56. }
  57. },
  58. "theme": {
  59. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  60. "boxShadow": "0px 0px 0px 1px inset #a29709"
  61. }
  62. }
  63. },
  64. "overleaf-dark": {
  65. "highlightStyle": {
  66. ".tok-literal": {
  67. "color": "#ff79c6"
  68. }
  69. },
  70. "theme": {
  71. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  72. "boxShadow": "0px 0px 0px 1px inset #a29709"
  73. }
  74. }
  75. },
  76. "gruvbox": {
  77. "theme": {
  78. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  79. "outline-width": "2px",
  80. "borderRadius": 0
  81. }
  82. }
  83. },
  84. "ambiance": {
  85. "theme": {
  86. ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
  87. "outline-width": "2px",
  88. "borderRadius": 0
  89. }
  90. }
  91. }
  92. }