2019-12-18 21:25:03 +00:00
|
|
|
/* Window Picker */
|
|
|
|
|
2022-02-07 18:22:40 +00:00
|
|
|
$window_picker_spacing: $base_padding; // 6px
|
2020-06-03 16:17:54 +00:00
|
|
|
$window_picker_padding: $base_padding * 2; // 12px
|
2019-12-18 21:25:03 +00:00
|
|
|
|
2022-10-13 16:51:17 +00:00
|
|
|
$window_thumbnail_label_color: transparentize($system_bg_color, 0.4);
|
2021-01-08 11:11:06 +00:00
|
|
|
|
2022-10-13 16:51:17 +00:00
|
|
|
$window_close_button_color: transparentize(lighten($system_bg_color, 7%), .02);
|
2021-01-08 11:11:06 +00:00
|
|
|
$window_close_button_size: 30px;
|
2019-12-18 21:25:03 +00:00
|
|
|
$window_close_button_padding: 3px;
|
|
|
|
|
|
|
|
// Window picker
|
|
|
|
.window-picker {
|
2019-12-19 15:38:27 +00:00
|
|
|
// Space between window thumbnails
|
2020-06-03 16:17:54 +00:00
|
|
|
spacing: $window_picker_spacing;
|
2019-12-18 21:25:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Window titles
|
|
|
|
.window-caption {
|
2022-11-03 15:28:24 +00:00
|
|
|
@extend %tooltip;
|
2019-12-18 21:25:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Close button
|
|
|
|
.window-close {
|
2022-02-07 18:22:40 +00:00
|
|
|
background-color: $window_close_button_color;
|
2022-10-13 16:51:17 +00:00
|
|
|
color: $system_fg_color;
|
2022-02-25 15:10:24 +00:00
|
|
|
border-radius: 99px;
|
2022-05-27 15:54:28 +00:00
|
|
|
box-shadow: 0 2px 4px 0 $shadow_color;
|
2019-12-19 15:38:27 +00:00
|
|
|
padding: $window_close_button_padding;
|
|
|
|
height: $window_close_button_size;
|
|
|
|
width: $window_close_button_size;
|
2022-05-31 12:33:58 +00:00
|
|
|
transition-duration: 100ms;
|
2019-12-18 21:25:03 +00:00
|
|
|
|
2022-02-07 18:22:40 +00:00
|
|
|
& StIcon { icon-size: 24px; } // uses non standard icon size
|
2021-01-08 11:11:06 +00:00
|
|
|
|
2019-12-19 15:38:27 +00:00
|
|
|
&:hover {
|
2022-05-31 12:33:58 +00:00
|
|
|
background-color: lighten($window_close_button_color, 7%);
|
2019-12-19 15:38:27 +00:00
|
|
|
}
|
2019-12-18 21:25:03 +00:00
|
|
|
|
2019-12-19 15:38:27 +00:00
|
|
|
&:active {
|
2022-05-31 12:33:58 +00:00
|
|
|
background-color: lighten($window_close_button_color, 13%);
|
2019-12-19 15:38:27 +00:00
|
|
|
}
|
2022-11-03 15:28:24 +00:00
|
|
|
|
|
|
|
@if $is_highcontrast {
|
|
|
|
border:2px solid $outer_borders_color;
|
|
|
|
}
|
2020-02-10 19:19:22 +00:00
|
|
|
}
|
2021-02-08 15:43:32 +00:00
|
|
|
|
|
|
|
.workspace-background {
|
|
|
|
// keep in sync with BACKGROUND_CORNER_RADIUS_PIXELS in workspace.js
|
|
|
|
border-radius: 30px;
|
2021-07-15 06:18:48 +00:00
|
|
|
background-color: $invisible_occluded_bg_color;
|
2022-10-13 16:51:17 +00:00
|
|
|
box-shadow: 0 4px 16px 4px $shadow_color;
|
2021-02-08 15:43:32 +00:00
|
|
|
}
|