2019-12-18 16:25:03 -05:00
|
|
|
/* Window Picker */
|
|
|
|
|
|
|
|
$window_picker_spacing: 48px;
|
|
|
|
$window_picker_padding: 64px;
|
|
|
|
|
|
|
|
$window_thumbnail_border_color:transparentize($selected_fg_color, 0.65);
|
|
|
|
|
|
|
|
$window_close_button_size: 24px;
|
|
|
|
$window_close_button_padding: 3px;
|
|
|
|
|
|
|
|
|
|
|
|
// Window picker
|
|
|
|
.window-picker {
|
2019-12-19 10:38:27 -05:00
|
|
|
// Space between window thumbnails
|
|
|
|
-horizontal-spacing: $window_picker_spacing;
|
|
|
|
-vertical-spacing: $window_picker_spacing;
|
|
|
|
// Padding for container around window thumbnails
|
|
|
|
padding: $window_picker_padding;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
&.external-monitor { padding: $window_picker_padding; }
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Borders on window thumbnails
|
|
|
|
.window-clone-border {
|
2019-12-19 10:38:27 -05:00
|
|
|
border: 6px solid $window_thumbnail_border_color;
|
|
|
|
border-radius: $base_border_radius + 2px;
|
|
|
|
// For window decorations with round corners we can't match
|
|
|
|
// the exact shape when the window is scaled. So apply a shadow
|
|
|
|
// to fix that case
|
|
|
|
box-shadow: inset 0 0 0 1px transparentize($borders_color, 0.8);
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Window titles
|
|
|
|
.window-caption {
|
2019-12-19 10:38:27 -05:00
|
|
|
spacing: 24px;
|
|
|
|
color: $selected_fg_color;
|
|
|
|
background-color: rgba(0,0,0,0.5);
|
|
|
|
border:1px solid rgba(0,0,0,0.6);
|
|
|
|
border-radius: 8px;
|
|
|
|
margin-top: 24px;
|
|
|
|
padding: 4px 12px;
|
2019-12-19 11:09:33 -05:00
|
|
|
@include fontsize($base_font_size + 1);
|
2019-12-19 10:38:27 -05:00
|
|
|
font-weight: bold;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Close button
|
|
|
|
.window-close {
|
2019-12-19 10:38:27 -05:00
|
|
|
background-color: $selected_bg_color;
|
|
|
|
color: $selected_fg_color;
|
|
|
|
border: none;
|
|
|
|
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);
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
-shell-close-overlap: $window_close_button_size * 0.5;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
&:hover {
|
|
|
|
background-color: lighten($selected_bg_color, 5%);
|
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
&:active {
|
|
|
|
background-color: darken($selected_bg_color, 5%);
|
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|