mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-13 08:44:12 +03:00
Fix tabs
This commit is contained in:
parent
ee131f7012
commit
8c0021a4cb
@ -1,7 +1,7 @@
|
|||||||
@import "ui-variables";
|
@import "ui-variables";
|
||||||
|
|
||||||
.tab-bar {
|
.tab-bar {
|
||||||
height: @tab-height + 5px;
|
height: @tab-height + 6px;
|
||||||
border-bottom: 4px solid @tab-bar-border-color;
|
border-bottom: 4px solid @tab-bar-border-color;
|
||||||
box-shadow: inset 0 -1px 0 rgba(255, 255, 255, 0.2), 0 1px 0 rgba(0, 0, 0, 0.5);
|
box-shadow: inset 0 -1px 0 rgba(255, 255, 255, 0.2), 0 1px 0 rgba(0, 0, 0, 0.5);
|
||||||
margin-bottom: 1px;
|
margin-bottom: 1px;
|
||||||
|
Loading…
Reference in New Issue
Block a user