0c42f162d3
We are now at a point where the code from the workspace-indicator extension is usable from the window-list. However instead of updating the copy, go one step further and remove it altogether, and copy the required files at build time. This ensures that future changes are picked up by both extensions without duplicating any work. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/307>
88 lines
1.4 KiB
CSS
88 lines
1.4 KiB
CSS
/*
|
|
* SPDX-FileCopyrightText: 2012 Florian Müllner <fmuellner@gnome.org>
|
|
* SPDX-FileCopyrightText: 2013 Giovanni Campagna <gcampagna@src.gnome.org>
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-or-later
|
|
*/
|
|
@import url("stylesheet-workspace-switcher-dark.css");
|
|
|
|
.window-list {
|
|
spacing: 2px;
|
|
font-size: 10pt;
|
|
}
|
|
|
|
.bottom-panel {
|
|
background-color: #000000;
|
|
border-top-width: 0px;
|
|
height: 2.45em;
|
|
}
|
|
|
|
.window-button {
|
|
padding: 4px, 3px;
|
|
}
|
|
|
|
.window-button:first-child:ltr {
|
|
padding-left: 2px;
|
|
}
|
|
|
|
.window-button:last-child:rtl {
|
|
padding-right: 2px;
|
|
}
|
|
|
|
.window-button-box {
|
|
spacing: 4px;
|
|
}
|
|
|
|
.window-button > StWidget {
|
|
color: #bbb;
|
|
background-color: #1d1d1d;
|
|
border-radius: 4px;
|
|
padding: 3px 6px 1px;
|
|
transition: 100ms ease;
|
|
}
|
|
|
|
.window-button > StWidget {
|
|
-st-natural-width: 18.75em;
|
|
max-width: 18.75em;
|
|
}
|
|
|
|
.window-button:hover > StWidget {
|
|
color: #fff;
|
|
background-color: #303030;
|
|
}
|
|
|
|
.window-button:active > StWidget,
|
|
.window-button:focus > StWidget {
|
|
color: #fff;
|
|
background-color: #3f3f3f;
|
|
}
|
|
|
|
.window-button.focused > StWidget {
|
|
color: #fff;
|
|
background-color: #3f3f3f;
|
|
}
|
|
|
|
.window-button.focused:active > StWidget {
|
|
color: #fff;
|
|
background-color: #3f3f3f;
|
|
}
|
|
|
|
.window-button.minimized > StWidget {
|
|
color: #666;
|
|
background-color: #161616;
|
|
}
|
|
|
|
.window-button.minimized:active > StWidget {
|
|
color: #666;
|
|
background-color: #161616;
|
|
}
|
|
|
|
.window-button-icon {
|
|
width: 24px;
|
|
height: 24px;
|
|
}
|
|
|
|
.notification {
|
|
font-weight: normal;
|
|
}
|