tyler.durden
/
Chicago95
mirror of https://github.com/grassmunk/Chicago95.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix Mozilla application menus 

Mozilla applications are not using window decorations for the menu borders, unlike every GTK3 application; So I themed the .menu selector to best match the application.
Also adjusted the separators a little as part of a test.
This commit is contained in:
EMH-Mark-I 2020-04-28 22:25:02 -05:00
parent d60f45fc84
commit 72b5ba2a0e
4 changed files with 18 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Theme/Chicago95/gtk-3.0/apps/whiskermenu.css
View File

@ -73,8 +73,6 @@ the whisker menu without having to correct their pointer location. */
box-shadow: none; }
#whiskermenu-window scrolledwindow viewport button:hover {
outline-color: @border_bright; }
#whiskermenu-window separator {
margin: 5px; }
#whiskermenu-window > frame {
border: 2px solid @border_dark;
border-image: url("../assets/frame_outset.png");

15
Theme/Chicago95/gtk-3.0/gtk-menu.css
View File

@ -16,12 +16,9 @@ window > menu {
.menu {
padding: 0px;
border-top: 1px solid @border_light;
border-bottom: 1px solid @border_dark;
border-left: 1px solid @border_light;
border-right: 1px solid @border_dark;
box-shadow: inset 1px 1px @border_bright, inset -1px -1px @border_shade;
background-color: @menu_bg_color;
border: 1px solid @border_dark;
box-shadow: none;
background-color: @bg_bright;
color: @text_color; }
/* NOTE: Menu border styling is moved to client side decorations. See gtk-window.css for menu border styling. */
@ -55,7 +52,13 @@ menubar,
menu separator {
padding: 3px;
margin-left: -5px;
margin-right: -5px;
border: none;
border-left: 4px solid transparent;
border-right: 4px solid transparent;
border-top: 1px solid transparent;
border-bottom: 2px solid transparent;
background-image: url("assets/handle-h.png");
background-repeat: repeat-x;
background-position: center center;

2
Theme/Chicago95/gtk-3.24/apps/whiskermenu.css
View File

@ -73,8 +73,6 @@ the whisker menu without having to correct their pointer location. */
box-shadow: none; }
#whiskermenu-window scrolledwindow viewport button:hover {
outline-color: @border_bright; }
#whiskermenu-window separator {
margin: 5px; }
#whiskermenu-window > frame {
border: 2px solid @border_dark;
border-image: url("../assets/frame_outset.png");

15
Theme/Chicago95/gtk-3.24/gtk-menu.css
View File

@ -16,12 +16,9 @@ window > menu {
.menu {
padding: 0px;
border-top: 1px solid @border_light;
border-bottom: 1px solid @border_dark;
border-left: 1px solid @border_light;
border-right: 1px solid @border_dark;
box-shadow: inset 1px 1px @border_bright, inset -1px -1px @border_shade;
background-color: @menu_bg_color;
border: 1px solid @border_dark;
box-shadow: none;
background-color: @bg_bright;
color: @text_color; }
/* NOTE: Menu border styling is moved to client side decorations. See gtk-window.css for menu border styling. */
@ -55,7 +52,13 @@ menubar,
menu separator {
padding: 3px;
margin-left: -5px;
margin-right: -5px;
border: none;
border-left: 4px solid transparent;
border-right: 4px solid transparent;
border-top: 1px solid transparent;
border-bottom: 2px solid transparent;
background-image: url("assets/handle-h.png");
background-repeat: repeat-x;
background-position: center center;