tyler.durden/Chicago95
1
0
Fork 0
mirror of https://github.com/grassmunk/Chicago95.git synced 2025-07-27 15:44:22 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update Patch

Browse Source
This commit is contained in:
aidan 2019-01-13 22:08:31 -06:00
parent 44f5e0c9ba
commit 68ba112a04
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Extras/override/gtk.css
View File

@ -3,6 +3,12 @@ doesn't work for the pulse audio icon unfortunately.*/
#xfce4-power-manager-plugin { #xfce4-power-manager-plugin {
padding: 6px 6px; } padding: 6px 6px; }
/* Force MATE panel tasklist margins */
#tasklist-button {
margin-left: 2px;
margin-right: 2px;
}
/* GNOME Disk utility */ /* GNOME Disk utility */
/* This is a fix for the GNOME disk application which uses its own CSS to /* This is a fix for the GNOME disk application which uses its own CSS to
theme the grid style; overriding user themes. In reality this doesn’t work theme the grid style; overriding user themes. In reality this doesn’t work