Merge pull request #704 from svensekl/master

pinned tabs dissapearing fix
This commit is contained in:
Vince 2022-10-14 20:56:25 +08:00 committed by GitHub
commit 47eeb58b0b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,10 +18,15 @@ tab > stack {
background-image: none !important; background-image: none !important;
} }
.tabbrowser-tab { .tabbrowser-tab:not([pinned]) {
margin: 2px 0 0 !important; margin: 2px 0 0 !important;
} }
.tabbrowser-tab[pinned] {
margin-top: 2px !important;
margin-bottom: 0 !important;
}
.tabbrowser-tab:not([visuallyselected="true"], [multiselected]), .tabbrowser-tab:-moz-lwtheme { .tabbrowser-tab:not([visuallyselected="true"], [multiselected]), .tabbrowser-tab:-moz-lwtheme {
color: var(--gnome-tabbar-tab-color) !important; color: var(--gnome-tabbar-tab-color) !important;
} }