199529a67d
- updated switch assets - new high contrast assets - use non-hardcoded bg color for dash - updated palette colors - add missing color definitions to hc - increase radii of many elements - update search entry style - align icon better in search entry - restyle panel popovers without arrow and add drop shadow - used theme colors in panel - fix some things with popover labels - new slider style - some light variant fixes - fixes to the calendar popover - day with event styles - better calendar-today.svg and dark variant - shorten calendary weekday header - saner padding - overhaul popover menu style - minor fixes to app grid and alt-tab switch - updated looking glass styles - nm-dialog adjustments - search results adjustments - expand out panel button hover styles - button drawing adjustments - adjust notifications area - update on-screen keyboard style - better keyboard symbolic icon assets - change keyboard symbolic icons to 24px - improved keyboard style - gave the keyboard word suggestions some styles - less obnoxious saner media control buttons - cleaned up the css for the dash - reworked the alt-tab switcher style - sync style on workspace switcher - adjusted dialog button style drawing - popover submenu redrawing adjustement Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2104>
43 lines
1004 B
SCSS
43 lines
1004 B
SCSS
/* Workspace Switcher */
|
|
|
|
$ws_padding: $base_padding*2;
|
|
$ws_border_radius: $modal_radius + 8px;
|
|
|
|
.workspace-switcher-group {
|
|
padding: $base_padding * 2;
|
|
}
|
|
|
|
.workspace-switcher-container {
|
|
@extend %osd_panel;
|
|
padding: $ws_padding;
|
|
border-radius: $ws_border_radius;
|
|
box-shadow: 0 8px 8px 0 rgba(0,0,0,0.1);
|
|
}
|
|
|
|
.workspace-switcher {
|
|
background: transparent;
|
|
border: none;
|
|
border-radius: 0;
|
|
spacing: $base_spacing * 2;
|
|
}
|
|
|
|
.ws-switcher-box {
|
|
background: transparent;
|
|
height: 50px;
|
|
background-size: 32px;
|
|
border: 1px solid transparentize($osd_fg_color,0.9);
|
|
border-radius: $base_border_radius + 3px;
|
|
}
|
|
|
|
// active workspace in the switcher
|
|
.ws-switcher-active-up,
|
|
.ws-switcher-active-down,
|
|
.ws-switcher-active-left,
|
|
.ws-switcher-active-right {
|
|
height: 52px;
|
|
background-color: $selected_bg_color;
|
|
border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
|
|
border-radius: $base_border_radius + 3px;
|
|
color: $selected_fg_color;
|
|
}
|