mirror of
https://github.com/overleaf/overleaf.git
synced 2024-11-21 20:47:08 -05:00
7f37ba737c
* Update Copybara options in preparation for open-sourcing the source editor * Move files * Update paths * Remove source-editor module and checks for its existence * Explicitly mention CM6 license in files that contain code adapted from CM6 GitOrigin-RevId: 89b7cc2b409db01ad103198ccbd1b126ab56349b
80 lines
1.9 KiB
JSON
80 lines
1.9 KiB
JSON
{
|
|
"all": {
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"margin": 0
|
|
},
|
|
"&.cm-focused .cm-matchingBracket, &.cm-focused .cm-nonmatchingBracket": {
|
|
"margin": 0
|
|
}
|
|
}
|
|
},
|
|
"overleaf": {
|
|
"highlightStyle": {
|
|
".tok-labelName": {
|
|
"color": "#3F7F7F"
|
|
},
|
|
".tok-number": {
|
|
"color": "#5A5CAD"
|
|
}
|
|
},
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"background": "rgba(250, 250, 255, 0.5)",
|
|
"outline": "1px solid rgb(200, 200, 250)"
|
|
}
|
|
}
|
|
},
|
|
"textmate": {
|
|
"highlightStyle": {
|
|
".tok-labelName": {
|
|
"color": "#833FBA"
|
|
},
|
|
".tok-literal": {
|
|
"color": "#833FBA"
|
|
}
|
|
},
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"background": "rgba(250, 250, 255, 0.5)",
|
|
"outline": "1px solid rgb(200, 200, 250)"
|
|
}
|
|
}
|
|
},
|
|
"chrome": {
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"background": "rgba(250, 250, 255, 0.5)",
|
|
"outline": "1px solid rgb(200, 200, 250)"
|
|
}
|
|
}
|
|
},
|
|
"dracula": {
|
|
"highlightStyle": {
|
|
".tok-literal": {
|
|
"color": "#ff79c6"
|
|
}
|
|
},
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"boxShadow": "0px 0px 0px 1px inset #a29709"
|
|
}
|
|
}
|
|
},
|
|
"gruvbox": {
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"outline-width": "2px",
|
|
"borderRadius": 0
|
|
}
|
|
}
|
|
},
|
|
"ambiance": {
|
|
"theme": {
|
|
".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
|
|
"outline-width": "2px",
|
|
"borderRadius": 0
|
|
}
|
|
}
|
|
}
|
|
}
|