1 @import "ui-variables";
4 @modified-icon-width: 8px;
7 @tab-bottom-border-height: 0;
8 @tab-border: 1px solid @tab-border-color;
12 height: @tab-height + @tab-top-padding + @tab-bottom-border-height;
13 background: @base-background-color;
17 &::-webkit-scrollbar {
25 height: @tab-bottom-border-height;
28 background-color: @tab-background-color-active;
29 border-bottom: 1px solid @tab-bar-border-color;
35 top: @tab-top-padding;
36 max-width: @tab-max-width;
38 box-sizing: border-box;
39 line-height: @tab-height;
44 border-top-left-radius: 2px;
45 border-top-right-radius: 2px;
46 transition: color .1s ease-in;
47 padding: 0px 6px 4px 6px;
53 line-height: @tab-height;
61 &.modified:not(:hover) .close-icon {
62 top: @tab-height/2 - @modified-icon-width/2 + 1px;
63 width: @modified-icon-width;
64 height: @modified-icon-width;
67 &.modified:hover .close-icon:hover {
68 color: @text-color-highlight;
81 height: @tab-height + 2px;
82 border-bottom: 1px solid @base-background-color;
85 line-height: @tab-height - 1px;
91 color: @text-color-highlight;
94 .tab.active:hover .close-icon {
103 height: @tab-height + @tab-top-padding + @tab-bottom-border-height;
104 margin-left: -9px; // center between tabs
105 pointer-events: none;
107 top: @tab-height + @tab-top-padding + @tab-bottom-border-height - 2px;