##// END OF EJS Templates
MAINT: Return dicts from CheckpointManager.get_checkpoint....
MAINT: Return dicts from CheckpointManager.get_checkpoint. The output is going to get converted to a dict anyway, and this makes it easier to pipe output from a CheckpointManager directly to a ContentsManager.

File last commit:

r19298:d8390523
r19825:f587966f
Show More
notificationwidget.less
20 lines | 348 B | text/x-less | LessCssLexer
.notification_widget {
color: @navbar-default-link-color;
z-index: 10;
background: @notification_widget_bg;
.btn-default();
}
.notification_widget.warning {
.btn-warning();
}
.notification_widget.success {
.btn-success();
}
.notification_widget.info {
.btn-info();
}
.notification_widget.danger {
.btn-danger();
}