Sam Hewitt 49c0b849c4 style: Improve text scaling support
- 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>
2023-12-05 12:14:53 +00:00

47 lines
1.0 KiB
SCSS

/* Window Picker */
$window_close_button_color: transparentize(lighten($system_bg_color, 7%), .02);
// Window picker
.window-picker {
// Space between window thumbnails
spacing: $base_padding;
}
// Window titles
.window-caption {
@extend %tooltip;
}
// Close button
.window-close {
background-color: $window_close_button_color;
color: $system_fg_color;
border-radius: $forced_circular_radius;
box-shadow: 0 2px 4px 0 $shadow_color;
padding: $base_padding * 0.5;
height: $large_icon_size;
width: $large_icon_size;
transition-duration: 100ms;
& StIcon { icon-size: $medium_icon_size; }
&:hover {
background-color: lighten($window_close_button_color, 7%);
}
&:active {
background-color: lighten($window_close_button_color, 13%);
}
@if $is_highcontrast {
border:2px solid $outer_borders_color;
}
}
.workspace-background {
// keep in sync with BACKGROUND_CORNER_RADIUS_PIXELS in workspace.js
border-radius: 30px;
background-color: $invisible_occluded_bg_color;
box-shadow: 0 4px 16px 4px $shadow_color;
}