pull/276/head
vinceliuice 4 years ago
parent d8b3ea8e39
commit 0b3e0b2bac

@ -2015,13 +2015,13 @@ notebook {
> header { > header {
border: none; border: none;
background-color: $background; background-color: $background;
padding: 0;
&.top { &.top {
box-shadow: inset 0 -1px $solid-border; box-shadow: inset 0 -1px $solid-border;
> tabs { > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
> tab { > tab {
border-radius: $corner-radius $corner-radius 0 0; border-radius: $corner-radius $corner-radius 0 0;
@ -2034,8 +2034,7 @@ notebook {
box-shadow: inset 0 1px $solid-border; box-shadow: inset 0 1px $solid-border;
> tabs { > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
> tab { > tab {
border-radius: 0 0 $corner-radius $corner-radius; border-radius: 0 0 $corner-radius $corner-radius;
@ -2048,8 +2047,7 @@ notebook {
box-shadow: inset -1px 0 $solid-border; box-shadow: inset -1px 0 $solid-border;
> tabs { > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
> tab { > tab {
border-radius: $corner-radius 0 0 $corner-radius; border-radius: $corner-radius 0 0 $corner-radius;
@ -2062,8 +2060,7 @@ notebook {
box-shadow: inset 1px 0 $solid-border; box-shadow: inset 1px 0 $solid-border;
> tabs { > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
> tab { > tab {
border-radius: 0 $corner-radius $corner-radius 0; border-radius: 0 $corner-radius $corner-radius 0;

@ -2319,6 +2319,7 @@ notebook.frame > header.right {
notebook > header { notebook > header {
border: none; border: none;
background-color: #F2F2F2; background-color: #F2F2F2;
padding: 0;
} }
notebook > header.top { notebook > header.top {
@ -2326,8 +2327,7 @@ notebook > header.top {
} }
notebook > header.top > tabs { notebook > header.top > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
} }
notebook > header.top > tabs > tab { notebook > header.top > tabs > tab {
@ -2340,8 +2340,7 @@ notebook > header.bottom {
} }
notebook > header.bottom > tabs { notebook > header.bottom > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
} }
notebook > header.bottom > tabs > tab { notebook > header.bottom > tabs > tab {
@ -2354,8 +2353,7 @@ notebook > header.left {
} }
notebook > header.left > tabs { notebook > header.left > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
} }
notebook > header.left > tabs > tab { notebook > header.left > tabs > tab {
@ -2368,8 +2366,7 @@ notebook > header.right {
} }
notebook > header.right > tabs { notebook > header.right > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
} }
notebook > header.right > tabs > tab { notebook > header.right > tabs > tab {

@ -2323,6 +2323,7 @@ notebook.frame > header.right {
notebook > header { notebook > header {
border: none; border: none;
background-color: #212121; background-color: #212121;
padding: 0;
} }
notebook > header.top { notebook > header.top {
@ -2330,8 +2331,7 @@ notebook > header.top {
} }
notebook > header.top > tabs { notebook > header.top > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
} }
notebook > header.top > tabs > tab { notebook > header.top > tabs > tab {
@ -2344,8 +2344,7 @@ notebook > header.bottom {
} }
notebook > header.bottom > tabs { notebook > header.bottom > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
} }
notebook > header.bottom > tabs > tab { notebook > header.bottom > tabs > tab {
@ -2358,8 +2357,7 @@ notebook > header.left {
} }
notebook > header.left > tabs { notebook > header.left > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
} }
notebook > header.left > tabs > tab { notebook > header.left > tabs > tab {
@ -2372,8 +2370,7 @@ notebook > header.right {
} }
notebook > header.right > tabs { notebook > header.right > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
} }
notebook > header.right > tabs > tab { notebook > header.right > tabs > tab {

@ -2323,6 +2323,7 @@ notebook.frame > header.right {
notebook > header { notebook > header {
border: none; border: none;
background-color: #212121; background-color: #212121;
padding: 0;
} }
notebook > header.top { notebook > header.top {
@ -2330,8 +2331,7 @@ notebook > header.top {
} }
notebook > header.top > tabs { notebook > header.top > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
} }
notebook > header.top > tabs > tab { notebook > header.top > tabs > tab {
@ -2344,8 +2344,7 @@ notebook > header.bottom {
} }
notebook > header.bottom > tabs { notebook > header.bottom > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
} }
notebook > header.bottom > tabs > tab { notebook > header.bottom > tabs > tab {
@ -2358,8 +2357,7 @@ notebook > header.left {
} }
notebook > header.left > tabs { notebook > header.left > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
} }
notebook > header.left > tabs > tab { notebook > header.left > tabs > tab {
@ -2372,8 +2370,7 @@ notebook > header.right {
} }
notebook > header.right > tabs { notebook > header.right > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
} }
notebook > header.right > tabs > tab { notebook > header.right > tabs > tab {

@ -2323,6 +2323,7 @@ notebook.frame > header.right {
notebook > header { notebook > header {
border: none; border: none;
background-color: #F2F2F2; background-color: #F2F2F2;
padding: 0;
} }
notebook > header.top { notebook > header.top {
@ -2330,8 +2331,7 @@ notebook > header.top {
} }
notebook > header.top > tabs { notebook > header.top > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
} }
notebook > header.top > tabs > tab { notebook > header.top > tabs > tab {
@ -2344,8 +2344,7 @@ notebook > header.bottom {
} }
notebook > header.bottom > tabs { notebook > header.bottom > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
} }
notebook > header.bottom > tabs > tab { notebook > header.bottom > tabs > tab {
@ -2358,8 +2357,7 @@ notebook > header.left {
} }
notebook > header.left > tabs { notebook > header.left > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
} }
notebook > header.left > tabs > tab { notebook > header.left > tabs > tab {
@ -2372,8 +2370,7 @@ notebook > header.right {
} }
notebook > header.right > tabs { notebook > header.right > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
} }
notebook > header.right > tabs > tab { notebook > header.right > tabs > tab {

@ -2323,6 +2323,7 @@ notebook.frame > header.right {
notebook > header { notebook > header {
border: none; border: none;
background-color: #F2F2F2; background-color: #F2F2F2;
padding: 0;
} }
notebook > header.top { notebook > header.top {
@ -2330,8 +2331,7 @@ notebook > header.top {
} }
notebook > header.top > tabs { notebook > header.top > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
} }
notebook > header.top > tabs > tab { notebook > header.top > tabs > tab {
@ -2344,8 +2344,7 @@ notebook > header.bottom {
} }
notebook > header.bottom > tabs { notebook > header.bottom > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
} }
notebook > header.bottom > tabs > tab { notebook > header.bottom > tabs > tab {
@ -2358,8 +2357,7 @@ notebook > header.left {
} }
notebook > header.left > tabs { notebook > header.left > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
} }
notebook > header.left > tabs > tab { notebook > header.left > tabs > tab {
@ -2372,8 +2370,7 @@ notebook > header.right {
} }
notebook > header.right > tabs { notebook > header.right > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
} }
notebook > header.right > tabs > tab { notebook > header.right > tabs > tab {

@ -2319,6 +2319,7 @@ notebook.frame > header.right {
notebook > header { notebook > header {
border: none; border: none;
background-color: #F2F2F2; background-color: #F2F2F2;
padding: 0;
} }
notebook > header.top { notebook > header.top {
@ -2326,8 +2327,7 @@ notebook > header.top {
} }
notebook > header.top > tabs { notebook > header.top > tabs {
margin-bottom: -1px; margin: 4px 0 0;
margin-top: 4px;
} }
notebook > header.top > tabs > tab { notebook > header.top > tabs > tab {
@ -2340,8 +2340,7 @@ notebook > header.bottom {
} }
notebook > header.bottom > tabs { notebook > header.bottom > tabs {
margin-top: -1px; margin: 0 0 4px;
margin-bottom: 4px;
} }
notebook > header.bottom > tabs > tab { notebook > header.bottom > tabs > tab {
@ -2354,8 +2353,7 @@ notebook > header.left {
} }
notebook > header.left > tabs { notebook > header.left > tabs {
margin-right: -1px; margin: 0 4px 0 0;
margin-left: 4px;
} }
notebook > header.left > tabs > tab { notebook > header.left > tabs > tab {
@ -2368,8 +2366,7 @@ notebook > header.right {
} }
notebook > header.right > tabs { notebook > header.right > tabs {
margin-left: -1px; margin: 0 0 0 4px;
margin-right: 4px;
} }
notebook > header.right > tabs > tab { notebook > header.right > tabs > tab {

Loading…
Cancel
Save