2023-08-12 16:11:16 +00:00
|
|
|
/* Better padding for the panel app icons */
|
|
|
|
|
#docklike-plugin button {padding: 5px;}
|
|
|
|
|
|
|
|
|
|
/* Highlight active and hover group for the panel app icons */
|
|
|
|
|
#docklike-plugin .active_group { background-color: alpha(white, 0.2); }
|
|
|
|
|
#docklike-plugin .hover_group { transition: background-size 0.3s ease; background-image: linear-gradient(to right, rgba(255, 255, 255, 0.1) 0%, rgba(255, 255, 255, 0.1) 0%);}
|
|
|
|
|
|
|
|
|
|
/* Make opened windows count number more visible */
|
|
|
|
|
#docklike-plugin .group .window_count {
|
|
|
|
|
font-size:20px;
|
|
|
|
|
color: white;
|
|
|
|
|
text-shadow: 2px 0 #000, -2px 0 #000, 0 2px #000, 0 -2px #000,
|
|
|
|
|
2px 0 #000, -2px 0 #000, 0 2px #000, 0 -2px #000,
|
|
|
|
|
1px 1px #000, -1px -1px #000, 1px -1px #000, -1px 1px #000,
|
|
|
|
|
1px 1px #000, -1px -1px #000, 1px -1px #000, -1px 1px #000;}
|
2022-06-14 14:56:42 +00:00
|
|
|
|
2023-08-12 16:11:16 +00:00
|
|
|
/* Whisker menu icon fix */
|
2022-06-14 14:56:42 +00:00
|
|
|
#whiskermenu-button image { -gtk-icon-transform: scale(1.5); min-height: 44px; min-width: 44px; }
|
2023-08-12 16:11:16 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
