2019-12-18 21:25:03 +00:00
|
|
|
/* Window Picker */
|
|
|
|
|
2020-06-03 16:17:54 +00:00
|
|
|
$window_picker_spacing: $base_spacing; // 6px
|
|
|
|
$window_picker_padding: $base_padding * 2; // 12px
|
2019-12-18 21:25:03 +00:00
|
|
|
|
2021-02-04 17:04:09 +00:00
|
|
|
$window_thumbnail_label_color: transparentize($osd_bg_color, 0.4);
|
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 {
|
2021-02-04 17:04:09 +00:00
|
|
|
color: $osd_fg_color;
|
|
|
|
background-color: $osd_bg_color;
|
2021-01-08 11:11:06 +00:00
|
|
|
border-radius: 99px;
|
2019-12-20 00:01:37 +00:00
|
|
|
padding: $base_padding $base_padding * 2;
|
2019-12-18 21:25:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Close button
|
|
|
|
.window-close {
|
2021-02-04 17:04:09 +00:00
|
|
|
background-color: $osd_bg_color;
|
|
|
|
color: $osd_fg_color;
|
2019-12-19 15:38:27 +00:00
|
|
|
border-radius: $window_close_button_size * 0.5 + $window_close_button_padding * 2;
|
|
|
|
padding: $window_close_button_padding;
|
|
|
|
height: $window_close_button_size;
|
|
|
|
width: $window_close_button_size;
|
|
|
|
box-shadow: -1px 1px 5px 0px rgba(0,0,0,0.5);
|
2021-02-04 17:04:09 +00:00
|
|
|
transition-duration: 300ms;
|
2019-12-18 21:25:03 +00:00
|
|
|
|
2021-01-08 11:11:06 +00:00
|
|
|
& StIcon { icon-size: 24px; }
|
|
|
|
|
2019-12-19 15:38:27 +00:00
|
|
|
&:hover {
|
2021-02-04 17:04:09 +00:00
|
|
|
background-color: lighten($osd_bg_color, 15%);
|
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 {
|
2021-02-04 17:04:09 +00:00
|
|
|
color: transparentize($osd_fg_color, 0.2);
|
|
|
|
background-color: darken($osd_bg_color, 5%);
|
2019-12-19 15:38:27 +00:00
|
|
|
}
|
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;
|
|
|
|
background-color: $osd_bg_color;
|
2021-02-18 21:10:02 +00:00
|
|
|
box-shadow: 0 4px 16px 4px transparentize(darken($osd_bg_color, 30%), 0.7);
|
2021-02-08 15:43:32 +00:00
|
|
|
}
|