kirbylife
/
numix-gtk-theme
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

* Optimized notebook padding.

pull/612/head
Megax 2016-10-23 20:43:52 +02:00
parent aea6d16317
commit 80449fe454
1 changed files with 10 additions and 10 deletions
src/gtk-3.20/scss/widgets

20
src/gtk-3.20/scss/widgets/_notebook.scss
View File

@ -144,7 +144,7 @@
}
tab {
padding: ($spacing + 1) 0 0; // top | left/right | bottom
padding: ($spacing - 1) 0 0; // top | left/right | bottom
border-style: solid;
border-width: 1px; // for reorderable tabs
border-color: transparent; //
@ -159,7 +159,7 @@
}
> box, > label {
padding: 0 ($spacing * 3) ($spacing + 1); // top | left/right | bottom
padding: 0 ($spacing * 2) ($spacing - 1); // top | left/right | bottom
border-width: 2px;
border-style: solid;
border-color: transparent;
@ -267,7 +267,7 @@
}
&.top tab {
padding: ($spacing + 1) 0 0; // top | left/right | bottom
padding: ($spacing - 1) 0 0; // top | left/right | bottom
border-style: solid;
border-color: $borders_color;
border-width: 0;
@ -275,7 +275,7 @@
transition: border-bottom-color .3s ease-out;
> box, > label {
padding: 0 ($spacing * 3) ($spacing + 1); // top | left/right | bottom
padding: 0 ($spacing * 2) ($spacing - 1); // top | left/right | bottom
}
&:hover {
@ -302,7 +302,7 @@
}
&.right tab {
padding: 0 ($spacing + 1) 0 0; // top | right | bottom | left
padding: 0 ($spacing - 1) 0 0; // top | right | bottom | left
border-style: solid;
border-color: $borders_color;
border-width: 0;
@ -310,7 +310,7 @@
transition: border-left-color .3s ease-out;
> box, > label {
padding: ($spacing + 1) ($spacing * 3); // top | right | bottom | left
padding: ($spacing - 1) ($spacing * 2); // top | right | bottom | left
}
&:hover {
@ -337,7 +337,7 @@
}
&.bottom tab {
padding: 0 0 ($spacing + 1); // top | left/right | bottom
padding: 0 0 ($spacing - 1); // top | left/right | bottom
border-style: solid;
border-color: $borders_color;
border-width: 0;
@ -345,7 +345,7 @@
transition: border-top-color .3s ease-out;
> box, > label {
padding: ($spacing + 1) ($spacing * 3) 0; // top/bottom | left/right
padding: ($spacing - 1) ($spacing * 2) 0; // top/bottom | left/right
}
&:hover {
@ -372,7 +372,7 @@
}
&.left tab {
padding: 0 0 0 ($spacing + 1); // top | right | bottom | left
padding: 0 0 0 ($spacing - 1); // top | right | bottom | left
border-style: solid;
border-color: $borders_color;
border-width: 0;
@ -380,7 +380,7 @@
transition: border-right-color .3s ease-out;
> box, > label {
padding: ($spacing + 1) ($spacing * 3); // top/bottom | left/right
padding: ($spacing - 1) ($spacing * 2); // top/bottom | left/right
}
&:hover {