##// END OF EJS Templates
use momentjs for nice dates
use momentjs for nice dates

File last commit:

r17414:d2e61f9b
r17474:f201b462
Show More
notificationarea.less
46 lines | 622 B | text/x-less | LessCssLexer
#notification_area {
.pull-right();
z-index: 10;
}
.indicator_area {
color: @navbar-default-link-color;
padding: 4px 3px;
margin: 0px;
width: 11px;
z-index: 10;
text-align: center;
}
#kernel_indicator {
.pull-right();
.indicator_area();
margin-right: 12px;
}
#modal_indicator {
.pull-right();
.indicator_area();
margin-right: 5px;
}
.edit_mode_icon:before {
.icon(@fa-var-pencil)
}
.command_mode_icon:before {
.icon(' ');
}
.kernel_idle_icon:before {
.icon(@fa-var-circle-o);
}
.kernel_busy_icon:before {
.icon(@fa-var-circle);
}