exportconsteditorHoverHighlight=registerColor('editor.hoverHighlightBackground',{light:'#ADD6FF26',dark:'#264f7840',hc:'#ADD6FF26'},nls.localize('hoverHighlight','Highlight below the word for which a hover is shown. The color must not be opaque so as not to hide underlying decorations.'),true);
exportconsteditorHoverBackground=registerColor('editorHoverWidget.background',{light:editorWidgetBackground,dark:editorWidgetBackground,hc:editorWidgetBackground},nls.localize('hoverBackground','Background color of the editor hover.'));
exportconsteditorHoverForeground=registerColor('editorHoverWidget.foreground',{light:editorWidgetForeground,dark:editorWidgetForeground,hc:editorWidgetForeground},nls.localize('hoverForeground','Foreground color of the editor hover.'));
exportconsteditorHoverBorder=registerColor('editorHoverWidget.border',{light:editorWidgetBorder,dark:editorWidgetBorder,hc:editorWidgetBorder},nls.localize('hoverBorder','Border color of the editor hover.'));
exportconsteditorHoverStatusBarBackground=registerColor('editorHoverWidget.statusBarBackground',{dark:lighten(editorHoverBackground,0.2),light:darken(editorHoverBackground,0.05),hc:editorWidgetBackground},nls.localize('statusBarBackground',"Background color of the editor hover status bar."));