jarno
/
firefox-gnome-theme
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix headerbar size, tab borders, adjust popups again

This commit is contained in:
Sai Kurogetsu 2018-03-31 10:14:33 +00:00
parent 1277fe179b
commit 523728591c
No known key found for this signature in database
GPG Key ID: 48E52EBE10D57BF6
1 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
ui/theme.css
View File

@ -88,16 +88,19 @@ panelview vbox.panel-subview-body > toolbarbutton label {
border-color: var(--panel-separator-color) !important; border-color: var(--panel-separator-color) !important;
} }
panel[type=arrow] { panel[type=arrow] {
margin-top: -2px !important; margin-top: 6px !important;
} }
panel[type=arrow][viewId=appMenu-libraryView], panel[type=arrow][viewId=appMenu-libraryView],
panel[type=arrow][viewId=PanelUI-characterEncodingView], panel[type=arrow][viewId=PanelUI-characterEncodingView],
panel[type=arrow][viewId=PanelUI-developer], panel[type=arrow][viewId=PanelUI-developer],
#widget-overflow { #widget-overflow {
margin-top: -2px !important; margin-top: 6px !important;
} }
#BMB_bookmarksPopup { #BMB_bookmarksPopup {
margin-top: -5px !important; margin-top: 3px !important;
}
#identity-popup {
margin-top: 12px !important;
} }
/* Color of the last item in the bookmark menu and downloads menu */ /* Color of the last item in the bookmark menu and downloads menu */
@ -147,7 +150,7 @@ panel[type=arrow][viewId=PanelUI-developer],
border-bottom: var(--gnome-headerbar-button-border-bottom) !important; border-bottom: var(--gnome-headerbar-button-border-bottom) !important;
border-radius: 3px !important; border-radius: 3px !important;
height: 34px; height: 34px;
margin: 4px 3px !important; margin: 6px 3px !important;
padding: 0 2px !important; padding: 0 2px !important;
width: 34px; width: 34px;
} }
@ -407,6 +410,7 @@ toolbarspring {
#TabsToolbar { #TabsToolbar {
--toolbarbutton-active-background: transparent !important; --toolbarbutton-active-background: transparent !important;
--toolbarbutton-hover-background: transparent !important; --toolbarbutton-hover-background: transparent !important;
margin-bottom: -1px !important;
} }
/* New hover effect */ /* New hover effect */
@ -568,10 +572,13 @@ tab[selected]:-moz-window-inactive {
.tab-background[selected=true] { .tab-background[selected=true] {
background-color: var(--gnome-tabbar-tab-active-bgcolor) !important; background-color: var(--gnome-tabbar-tab-active-bgcolor) !important;
background-image: none !important; background-image: none !important;
border-right-color: var(--gnome-tabbar-tab-active-border-color-sides) !important;
border-left-color: var(--gnome-tabbar-tab-active-border-color-sides) !important;
border-image: none !important;
border-bottom: var(--gnome-tabbar-tab-active-border-bottom) !important; border-bottom: var(--gnome-tabbar-tab-active-border-bottom) !important;
border-right-color: var(--gnome-tabbar-tab-active-border-color-sides) !important;
border-right-style: solid !important;
border-left-color: var(--gnome-tabbar-tab-active-border-color-sides) !important;
border-left-style: solid !important;
border-image: none !important;
border-top-style: none !important;
} }
.tab-background[selected=true]:-moz-window-inactive { .tab-background[selected=true]:-moz-window-inactive {
background-color: var(--gnome-inactive-tabbar-tab-active-bgcolor) !important; background-color: var(--gnome-inactive-tabbar-tab-active-bgcolor) !important;