mirror of
https://github.com/Microsoft/vscode
synced 2024-09-13 21:55:38 +00:00
56 lines
2 KiB
JSON
56 lines
2 KiB
JSON
{
|
|
"tokenColors": "./red.tmTheme",
|
|
"colors": {
|
|
// window
|
|
"activityBarBadge.background": "#cc3333",
|
|
"activityBar.background": "#580000",
|
|
"tab.inactiveBackground": "#300a0a",
|
|
"tab.activeBackground": "#490000",
|
|
"sideBar.background": "#330000",
|
|
"statusBar.background": "#700000",
|
|
"statusBar.noFolderBackground": "#700000",
|
|
"editorGroupHeader.tabsBackground": "#330000",
|
|
"titleBar.activeBackground": "#770000",
|
|
"titleBar.inactiveBackground": "#772222",
|
|
// editor
|
|
"editor.background": "#390000",
|
|
"editorGroup.border": "#ff666633",
|
|
"editorCursor.foreground": "#970000",
|
|
"editor.foreground": "#F8F8F8",
|
|
"editorWhitespace.foreground": "#c10000",
|
|
"editor.selectionBackground": "#750000",
|
|
"editorLineNumber.foreground": "#ff777788",
|
|
"editorWidget.background": "#300000",
|
|
"editorHoverWidget.background": "#300000",
|
|
"editorSuggestWidget.background": "#300000",
|
|
"editorSuggestWidget.border": "#220000",
|
|
"editor.lineHighlightBackground": "#ff000033",
|
|
"editor.hoverHighlightBackground": "#ff000044",
|
|
"editor.selectionHighlightBackground": "#f5500039",
|
|
"editorLink.activeForeground": "#FFD0AA",
|
|
"peekViewTitle.background": "#550000",
|
|
"peekView.border": "#ff000044",
|
|
"peekViewResult.background": "#400000",
|
|
"peekViewEditor.background": "#300000",
|
|
// UI
|
|
"debugToolBar.background": "#660000",
|
|
"focusBorder": "#ff6666aa",
|
|
"button.background": "#833",
|
|
"dropdown.background": "#580000",
|
|
"input.background": "#580000",
|
|
"inputOption.activeBorder": "#cc0000",
|
|
"inputValidation.infoBackground": "#550000",
|
|
"inputValidation.infoBorder": "#DB7E58",
|
|
"list.hoverBackground": "#800000",
|
|
"list.activeSelectionBackground": "#880000",
|
|
"list.inactiveSelectionBackground": "#770000",
|
|
"list.dropBackground": "#662222",
|
|
"list.focusAndSelectionBackground": "#882222",
|
|
"list.focusBackground": "#660000",
|
|
"list.highlightForeground": "#ff4444",
|
|
"notification.background": "#662222",
|
|
"pickerGroup.foreground": "#cc9999",
|
|
"pickerGroup.border": "#ff000033"
|
|
},
|
|
"name": "Red"
|
|
} |