1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Tidy up merge of #1026

Closes #1026
This commit is contained in:
Nick O'Leary 2017-02-10 21:51:42 +00:00
parent e0ac565bab
commit 841438793d
No known key found for this signature in database
GPG Key ID: 4F2157149161A6C9
2 changed files with 0 additions and 39 deletions

View File

@ -181,10 +181,6 @@
// box-shadow: 8px 0px 5px -2px rgba(0,0,0,0.1); // box-shadow: 8px 0px 5px -2px rgba(0,0,0,0.1);
} }
} }
[dir="rtl"] ul.red-ui-tabs li a.red-ui-tab-label {
padding-left: 0px;
padding-right: 12px;
}
ul.red-ui-tabs li { ul.red-ui-tabs li {
position: relative; position: relative;
} }

View File

@ -58,41 +58,6 @@
@include component-footer-button; @include component-footer-button;
} }
#workspace-tabs {
margin-right: 35px;
}
[dir="rtl"] #workspace-tabs {
margin-left: 35px;
margin-right: initial;
}
#workspace-add-tab {
position: absolute;
box-sizing: border-box;
top: 0;
right: 0;
height: 35px;
width: 35px;
background: #fff;
border-bottom: 1px solid $primary-border-color;
}
[dir="rtl"] #workspace-add-tab {
left: 0px;
right: initial;
}
#btn-workspace-add-tab {
@include workspace-button;
line-height: 32px;
height: 32px;
width: 32px;
margin-top: 3px;
margin-right:3px;
border: 1px solid $primary-border-color;
}
#workspace-footer { #workspace-footer {
@include component-footer; @include component-footer;
} }