Merge pull request #7599 from minrk/modal-double-border

remove duplicated border in indicator area
This commit is contained in:
Thomas Kluyver 2015-01-26 11:09:26 -08:00
commit a788c02ea3
2 changed files with 2 additions and 3 deletions

View File

@ -12,12 +12,13 @@
z-index: 10;
text-align: center;
width: auto;
border-left: 1px solid;
}
#kernel_indicator {
.indicator_area();
border-left: 1px solid;
.kernel_indicator_name {
padding-left: 5px;
padding-right: 5px;

View File

@ -10530,7 +10530,6 @@ ul#help_menu li a i {
z-index: 10;
text-align: center;
width: auto;
border-left: 1px solid;
}
#kernel_indicator {
float: right !important;
@ -10558,7 +10557,6 @@ ul#help_menu li a i {
z-index: 10;
text-align: center;
width: auto;
border-left: 1px solid;
}
.edit_mode .modal_indicator:before {
display: inline-block;