##// END OF EJS Templates
Merge pull request #5750 from ivanov/raec-cnodiiton...
Merge pull request #5750 from ivanov/raec-cnodiiton Remove obsolete gitwash_dumper tool

File last commit:

r15115:abcf96b3
r16493:18fb3512 merge
Show More
notificationwidget.less
13 lines | 270 B | text/x-less | LessCssLexer
.notification_widget {
color: @navbarLinkColor;
padding: 1px 12px;
margin: 2px 4px;
z-index: 10;
border: 1px solid #ccc;
border-radius: @baseBorderRadius;
background: rgba(240, 240, 240, 0.5);
&.span {
padding-right:2px;
}
}