You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
47 lines
610 B
47 lines
610 B
#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(@pencil);
|
|
}
|
|
|
|
.command_mode_icon:before {
|
|
.icon(' ');
|
|
}
|
|
|
|
.kernel_idle_icon:before {
|
|
.icon(@circle-blank);
|
|
}
|
|
|
|
.kernel_busy_icon:before {
|
|
.icon(@circle);
|
|
}
|
|
|
|
|