49c0b849c4
- new drawing function to convert px to em, for select instances - updated fontsize function to convert fonts in pt to em - replace instances of discrete sizes with defined values - fix instances where assets or icons did not scale along with text - rework panel buttons to accommodate the scaling padding and icons - new 'scalable' definitions for elements that follow text scaling Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3033>
33 lines
769 B
SCSS
33 lines
769 B
SCSS
/* Workspace pager */
|
|
|
|
// thumbnails in overview
|
|
.workspace-thumbnails {
|
|
visible-width: 32px; //amount visible before hover
|
|
spacing: $base_padding;
|
|
padding: $base_padding;
|
|
|
|
.workspace-thumbnail {
|
|
color: $system_fg_color;
|
|
background-color: lighten($system_bg_color, 10%);
|
|
border-radius: $base_border_radius * 0.5;
|
|
border: 1px solid transparent;
|
|
|
|
@if $is_highcontrast {
|
|
border-color: $hc_inset_color;
|
|
}
|
|
}
|
|
|
|
// drag and drop indicator
|
|
.placeholder {
|
|
background-image: url("resource:///org/gnome/shell/theme/workspace-placeholder.svg");
|
|
background-size: contain;
|
|
width: 18px;
|
|
}
|
|
}
|
|
|
|
// selected indicator
|
|
.workspace-thumbnail-indicator {
|
|
border: 3px solid $selected_bg_color;
|
|
border-radius: $base_border_radius;
|
|
}
|