2019-12-18 16:25:03 -05:00
|
|
|
/* Window Picker */
|
|
|
|
|
2022-02-07 14:52:40 -03:30
|
|
|
$window_picker_spacing: $base_padding; // 6px
|
2020-06-03 18:17:54 +02:00
|
|
|
$window_picker_padding: $base_padding * 2; // 12px
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2022-10-13 14:21:17 -02:30
|
|
|
$window_thumbnail_label_color: transparentize($system_bg_color, 0.4);
|
2021-01-08 12:11:06 +01:00
|
|
|
|
2022-10-13 14:21:17 -02:30
|
|
|
$window_close_button_color: transparentize(lighten($system_bg_color, 7%), .02);
|
2021-01-08 12:11:06 +01:00
|
|
|
$window_close_button_size: 30px;
|
2019-12-18 16:25:03 -05:00
|
|
|
$window_close_button_padding: 3px;
|
|
|
|
|
|
|
|
// Window picker
|
|
|
|
.window-picker {
|
2019-12-19 10:38:27 -05:00
|
|
|
// Space between window thumbnails
|
2020-06-03 18:17:54 +02:00
|
|
|
spacing: $window_picker_spacing;
|
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;
|
2022-02-25 11:40:24 -03:30
|
|
|
border-radius: 99px;
|
2022-05-27 13:24:28 -02:30
|
|
|
box-shadow: 0 2px 4px 0 $shadow_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
padding: $window_close_button_padding;
|
|
|
|
height: $window_close_button_size;
|
|
|
|
width: $window_close_button_size;
|
2022-05-31 10:03:58 -02:30
|
|
|
transition-duration: 100ms;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2022-02-07 14:52:40 -03:30
|
|
|
& StIcon { icon-size: 24px; } // uses non standard 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 {
|
|
|
|
border:2px solid $outer_borders_color;
|
|
|
|
}
|
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
|
|
|
}
|