exportconstcontrastBorder=registerColor('contrastBorder',{light:null,dark:null,hc:'#6FC3DF'},nls.localize('contrastBorder',"An extra border around elements to separate them from others for greater contrast."));
exportconstactiveContrastBorder=registerColor('contrastActiveBorder',{light:null,dark:null,hc:focusBorder},nls.localize('activeContrastBorder',"An extra border around active elements to separate them from others for greater contrast."));
exportconstselectionBackground=registerColor('selection.background',{light:null,dark:null,hc:null},nls.localize('selectionBackground',"The background color of text selections in the workbench (e.g. for input fields or text areas). Note that this does not apply to selections within the editor and the terminal."));
// ----- widgets
exportconstwidgetShadow=registerColor('widget.shadow',{dark:'#000000',light:'#A8A8A8',hc:null},nls.localize('widgetShadow','Shadow color of widgets such as find/replace inside the editor.'));