5be44705f7
The current styling doesn't indicate the active workspace very well, and makes it difficult to differentiate empty workspaces from workspaces with maximized windows. Tweak the styling to address those issues. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/283 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/166>
116 lines
2.1 KiB
CSS
116 lines
2.1 KiB
CSS
.window-list {
|
|
spacing: 2px;
|
|
font-size: 10pt;
|
|
}
|
|
|
|
.window-button {
|
|
padding: 1px;
|
|
}
|
|
|
|
.window-button:first-child:ltr {
|
|
padding-left: 2px;
|
|
}
|
|
|
|
.window-button:last-child:rtl {
|
|
padding-right: 2px;
|
|
}
|
|
|
|
.window-button-box {
|
|
spacing: 4px;
|
|
}
|
|
|
|
.window-button > StWidget,
|
|
.window-picker-toggle > StWidget {
|
|
color: #bbb;
|
|
background-color: black;
|
|
border-radius: 2px;
|
|
padding: 3px 6px 1px;
|
|
box-shadow: inset 1px 1px 4px rgba(255,255,255,0.5);
|
|
text-shadow: 1px 1px 4px rgba(0,0,0,0.8);
|
|
}
|
|
|
|
.window-picker-toggle {
|
|
padding: 3px;
|
|
}
|
|
|
|
.window-picker-toggle > StWidet {
|
|
border: 1px solid rgba(255,255,255,0.3);
|
|
}
|
|
|
|
.window-button > StWidget {
|
|
-st-natural-width: 18.75em;
|
|
max-width: 18.75em;
|
|
}
|
|
|
|
.window-button:hover > StWidget,
|
|
.window-picker-toggle:hover > StWidget {
|
|
color: white;
|
|
background-color: #1f1f1f;
|
|
}
|
|
|
|
.window-button:active > StWidget,
|
|
.window-button:focus > StWidget {
|
|
box-shadow: inset 2px 2px 4px rgba(255,255,255,0.5);
|
|
}
|
|
|
|
.window-button.focused > StWidget,
|
|
.window-picker-toggle:checked > StWidget {
|
|
color: white;
|
|
box-shadow: inset 1px 1px 4px rgba(255,255,255,0.7);
|
|
}
|
|
|
|
.window-button.focused:active > StWidget,
|
|
.window-picker-toggle:checked:active > StWidget {
|
|
box-shadow: inset 2px 2px 4px rgba(255,255,255,0.7);
|
|
}
|
|
|
|
.window-button.minimized > StWidget {
|
|
color: #666;
|
|
box-shadow: inset -1px -1px 4px rgba(255,255,255,0.5);
|
|
}
|
|
|
|
.window-button.minimized:active > StWidget {
|
|
box-shadow: inset -2px -2px 4px rgba(255,255,255,0.5);
|
|
}
|
|
|
|
.window-button-icon {
|
|
width: 24px;
|
|
height: 24px;
|
|
}
|
|
|
|
.window-list-workspace-indicator .status-label-bin {
|
|
background-color: rgba(200, 200, 200, .3);
|
|
border: 1px solid #cccccc;
|
|
padding: 0 3px;
|
|
margin: 3px 0;
|
|
}
|
|
|
|
.window-list-workspace-indicator .workspaces-box {
|
|
spacing: 3px;
|
|
padding: 3px;
|
|
}
|
|
|
|
.window-list-workspace-indicator .workspace {
|
|
border: 2px solid #000;
|
|
width: 52px;
|
|
border-radius: 4px;
|
|
background-color: #595959;
|
|
}
|
|
|
|
.window-list-workspace-indicator .workspace.active {
|
|
border-color: #fff;
|
|
}
|
|
|
|
.window-list-window-preview {
|
|
background-color: #bebebe;
|
|
border: 1px solid #828282;
|
|
}
|
|
|
|
.window-list-window-preview.active {
|
|
background-color: #d4d4d4;
|
|
}
|
|
|
|
.notification {
|
|
font-weight: normal;
|
|
}
|