exportconstbuttonHoverBackground=registerColor('button.hoverBackground',{dark:lighten(buttonBackground,0.2),light:darken(buttonBackground,0.2),hc:null},nls.localize('buttonHoverBackground',"Button background color when hovering."));
exportconstbadgeBackground=registerColor('badge.background',{dark:'#4D4D4D',light:'#717171',hc:Color.black},nls.localize('badgeBackground',"Badge background color. Badges are small information labels, e.g. for search results count."));
exportconstbadgeForeground=registerColor('badge.foreground',{dark:Color.white,light:Color.white,hc:Color.white},nls.localize('badgeForeground',"Badge foreground color. Badges are small information labels, e.g. for search results count."));
exportconstbadgeBackground=registerColor('badge.background',{dark:'#4D4D4D',light:'#C4C4C4',hc:Color.black},nls.localize('badgeBackground',"Badge background color. Badges are small information labels, e.g. for search results count."));
exportconstbadgeForeground=registerColor('badge.foreground',{dark:Color.white,light:'#333',hc:Color.white},nls.localize('badgeForeground',"Badge foreground color. Badges are small information labels, e.g. for search results count."));
exportconstscrollbarShadow=registerColor('scrollbar.shadow',{dark:'#000000',light:'#DDDDDD',hc:null},nls.localize('scrollbarShadow',"Scrollbar shadow to indicate that the view is scrolled."));