exportconsteditorHoverHighlight=registerColor('editorHoverHighlight',{light:'#ADD6FF26',dark:'#264f7840',hc:'#ADD6FF26'},nls.localize('hoverHighlight','Highlight below the word for which a hover is shown.'));
exportconsteditorHoverBackground=registerColor('editorHoverBackground',{light:'#F3F3F3',dark:'#2D2D30',hc:'#0C141F'},nls.localize('hoverBackground','Background color of the editor hover.'));
exportconsteditorHoverBorder=registerColor('editorHoverBorder',{light:'#CCCCCC',dark:'#555555',hc:'#CCCCCC'},nls.localize('hoverBorder','Border color of the editor hover.'));
exportconsteditorHoverHighlight=registerColor('editorHoverHighlight',{light:'#ADD6FF26',dark:'#264f7840',hc:'#ADD6FF26'},nls.localize('hoverHighlight','Highlight below the word for which a hover is shown.'));
exportconsteditorHoverBackground=registerColor('editorHoverBackground',{light:'#F3F3F3',dark:'#2D2D30',hc:'#0C141F'},nls.localize('hoverBackground','Background color of the editor hover.'));
exportconsteditorHoverBorder=registerColor('editorHoverBorder',{light:'#CCCCCC',dark:'#555555',hc:'#CCCCCC'},nls.localize('hoverBorder','Border color of the editor hover.'));