##// END OF EJS Templates
Merge pull request #4552 from minrk/use_dill...
Merge pull request #4552 from minrk/use_dill add pickleutil.use_dill

File last commit:

r13547:34cf349f
r13728:818f778e merge
Show More
notificationwidget.less
10 lines | 227 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);
}