2019-12-18 16:25:03 -05:00
|
|
|
/* Window Picker */
|
2022-10-13 14:21:17 -02:30
|
|
|
$window_close_button_color: transparentize(lighten($system_bg_color, 7%), .02);
|
2019-12-18 16:25:03 -05:00
|
|
|
|
|
|
|
// Window picker
|
|
|
|
.window-picker {
|
2019-12-19 10:38:27 -05:00
|
|
|
// Space between window thumbnails
|
2023-11-29 14:18:59 -03:30
|
|
|
spacing: $base_padding;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Window titles
|
|
|
|
.window-caption {
|
2022-11-03 12:58:24 -02:30
|
|
|
@extend %tooltip;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Close button
|
|
|
|
.window-close {
|
2022-02-07 14:52:40 -03:30
|
|
|
background-color: $window_close_button_color;
|
2022-10-13 14:21:17 -02:30
|
|
|
color: $system_fg_color;
|
2023-11-29 14:18:59 -03:30
|
|
|
border-radius: $forced_circular_radius;
|
2022-05-27 13:24:28 -02:30
|
|
|
box-shadow: 0 2px 4px 0 $shadow_color;
|
2023-11-29 14:18:59 -03:30
|
|
|
padding: $base_padding * 0.5;
|
|
|
|
height: $large_icon_size;
|
|
|
|
width: $large_icon_size;
|
2022-05-31 10:03:58 -02:30
|
|
|
transition-duration: 100ms;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2023-11-29 14:18:59 -03:30
|
|
|
& StIcon { icon-size: $medium_icon_size; }
|
2021-01-08 12:11:06 +01:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
&:hover {
|
2022-05-31 10:03:58 -02:30
|
|
|
background-color: lighten($window_close_button_color, 7%);
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
&:active {
|
2022-05-31 10:03:58 -02:30
|
|
|
background-color: lighten($window_close_button_color, 13%);
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2022-11-03 12:58:24 -02:30
|
|
|
|
|
|
|
@if $is_highcontrast {
|
2023-11-14 10:30:45 -03:30
|
|
|
border:2px solid $hc_inset_color;
|
2022-11-03 12:58:24 -02:30
|
|
|
}
|
2020-02-10 20:19:22 +01:00
|
|
|
}
|
2021-02-08 16:43:32 +01:00
|
|
|
|
|
|
|
.workspace-background {
|
|
|
|
// keep in sync with BACKGROUND_CORNER_RADIUS_PIXELS in workspace.js
|
|
|
|
border-radius: 30px;
|
2021-07-15 14:18:48 +08:00
|
|
|
background-color: $invisible_occluded_bg_color;
|
2022-10-13 14:21:17 -02:30
|
|
|
box-shadow: 0 4px 16px 4px $shadow_color;
|
2021-02-08 16:43:32 +01:00
|
|
|
}
|