2019-12-18 21:25:03 +00:00
|
|
|
/* App Switcher */
|
|
|
|
|
2021-12-28 13:46:54 +00:00
|
|
|
// same as dash
|
2022-11-03 15:28:24 +00:00
|
|
|
$switcher_padding: $base_padding*2;
|
2021-12-28 13:46:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
// the full screen container of the switcher
|
2019-12-18 21:25:03 +00:00
|
|
|
.switcher-popup {
|
2021-12-28 13:46:54 +00:00
|
|
|
padding: 0;
|
2022-02-07 18:22:40 +00:00
|
|
|
spacing: $base_padding * 4;
|
2019-12-18 21:25:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// switcher onscreen panel
|
|
|
|
.switcher-list {
|
2019-12-19 15:38:27 +00:00
|
|
|
@extend %osd_panel;
|
2021-12-28 13:46:54 +00:00
|
|
|
padding: $switcher_padding;
|
2022-11-03 15:28:24 +00:00
|
|
|
border-radius: $modal_radius+$switcher_padding;
|
|
|
|
box-shadow: 0 8px 8px 0 $shadow_color;
|
2021-12-28 13:46:54 +00:00
|
|
|
|
|
|
|
// container for items in list
|
|
|
|
.switcher-list-item-container {
|
2022-02-07 18:22:40 +00:00
|
|
|
spacing: $base_padding * 2;
|
2021-12-28 13:46:54 +00:00
|
|
|
}
|
2019-12-19 15:38:27 +00:00
|
|
|
|
2021-12-28 13:46:54 +00:00
|
|
|
// each item in the list
|
2019-12-19 15:38:27 +00:00
|
|
|
.item-box {
|
2022-02-07 18:22:40 +00:00
|
|
|
@include tile_button($osd_fg_color);
|
2022-02-15 16:00:51 +00:00
|
|
|
// override over style so mouse doesn't steal focus
|
|
|
|
&:hover {background: none;}
|
2022-11-03 15:28:24 +00:00
|
|
|
@if $is_highcontrast {
|
|
|
|
box-shadow: inset 0 0 0 999px transparentize($hc_inset_color,0.2);
|
|
|
|
}
|
2019-12-19 15:38:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.separator {
|
|
|
|
width: 1px;
|
|
|
|
background: $borders_color;
|
|
|
|
}
|
|
|
|
|
2021-12-28 13:46:54 +00:00
|
|
|
// container of thumbnails
|
|
|
|
.thumbnail-box {
|
|
|
|
padding: 2px;
|
2022-02-07 18:22:40 +00:00
|
|
|
spacing: $base_padding;
|
2021-12-28 13:46:54 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// window thumbnail itself
|
|
|
|
.thumbnail {
|
|
|
|
width: 256px; // equal to THUMBNAIL_DEFAULT_SIZE in altTab.js
|
|
|
|
border-radius:$base_border_radius;
|
2019-12-19 15:38:27 +00:00
|
|
|
}
|
2019-12-18 21:25:03 +00:00
|
|
|
}
|
|
|
|
|
2021-12-28 13:46:54 +00:00
|
|
|
// arrow if app has multiple windows
|
2019-12-18 21:25:03 +00:00
|
|
|
.switcher-arrow {
|
2021-12-28 13:46:54 +00:00
|
|
|
border-color: transparentize($osd_fg_color, 0.2);
|
|
|
|
color: transparentize($osd_fg_color, 0.2);
|
|
|
|
|
2019-12-19 15:38:27 +00:00
|
|
|
&:highlighted {
|
2021-12-28 13:46:54 +00:00
|
|
|
border-color: $osd_fg_color;
|
|
|
|
color: $osd_fg_color;
|
2019-12-19 15:38:27 +00:00
|
|
|
}
|
2020-01-19 16:34:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Input Source Switcher
|
|
|
|
.input-source-switcher-symbol {
|
|
|
|
font-size: 34pt;
|
|
|
|
width: 96px;
|
|
|
|
height: 96px;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Window cycler highlight
|
|
|
|
.cycler-highlight {
|
|
|
|
border: 5px solid $selected_bg_color;
|
|
|
|
}
|