[gnome-shell/wip/snwh/theme-refactor: 8/16] theme: window-picker, use osd styling for title tooltips; tidy sass

[Florian Müllner <fmuellner src gnome org>]

commit c9512f78165c5e324629bf7e77595f222099a39b
Author: Sam Hewitt <sam snwh org>
Date:   Thu Dec 19 19:01:37 2019 -0500

    theme: window-picker, use osd styling for title tooltips; tidy sass
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904

 data/theme/gnome-shell-sass/_common.scss           |  1 -
 .../gnome-shell-sass/widgets/_window-picker.scss   | 24 +++++++++++-----------
 2 files changed, 12 insertions(+), 13 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/_common.scss b/data/theme/gnome-shell-sass/_common.scss
index 6824d93782..72315c9914 100644
--- a/data/theme/gnome-shell-sass/_common.scss
+++ b/data/theme/gnome-shell-sass/_common.scss
@@ -106,7 +106,6 @@ stage {
   color: $osd_fg_color;
 }
 
-
 // osd panels
 %osd_panel {
   color: $osd_fg_color;
diff --git a/data/theme/gnome-shell-sass/widgets/_window-picker.scss 
b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
index c8245e4e21..7af3aff703 100644
--- a/data/theme/gnome-shell-sass/widgets/_window-picker.scss
+++ b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
@@ -1,7 +1,7 @@
 /* Window Picker */
 
-$window_picker_spacing: 48px;
-$window_picker_padding: 64px;
+$window_picker_spacing: $base_spacing * 8; // 48px
+$window_picker_padding: $base_padding * 10; // 60px
 
 $window_thumbnail_border_color:transparentize($selected_fg_color, 0.65);
 
@@ -22,8 +22,10 @@ $window_close_button_padding: 3px;
 
 // Borders on window thumbnails
 .window-clone-border {
-  border: 6px solid $window_thumbnail_border_color;
-  border-radius: $base_border_radius + 2px;
+  border-width: 6px;
+  border-style: solid;
+  border-color: $window_thumbnail_border_color;
+  border-radius: $base_border_radius + 2;
   // 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
@@ -32,15 +34,13 @@ $window_close_button_padding: 3px;
 
 // Window titles
 .window-caption {
-  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;
-  @include fontsize($base_font_size + 1);
+  color: $osd_fg_color;
+  background-color: $osd_bg_color;
+  border:1px solid $osd_outer_borders_color;
+  border-radius: $base_border_radius + 1;
+  padding: $base_padding $base_padding * 2;
   font-weight: bold;
+  @include fontsize($base_font_size + 1);
 }
 
 // Close button