[gnome-shell/wip/carlosg/osk-updates: 10/16] theme: Tweak OSK style

[Carlos Garnacho <carlosg src gnome org>]

commit c60f9ac46597a9fc004fbe22a172367e5e8b8715
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Jun 15 13:19:30 2022 +0200

    theme: Tweak OSK style
    
    Add latched keys a distinct color again (mainly for alt/ctrl being
    notoriously active), and tweak the suggestions box sizes so there are
    no size jumps between an empty and a populated suggestions box.

 data/theme/gnome-shell-sass/widgets/_keyboard.scss | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_keyboard.scss 
b/data/theme/gnome-shell-sass/widgets/_keyboard.scss
index 91d9a3d5cb..1dc6b953c6 100644
--- a/data/theme/gnome-shell-sass/widgets/_keyboard.scss
+++ b/data/theme/gnome-shell-sass/widgets/_keyboard.scss
@@ -61,6 +61,12 @@ $default_key_bg_color: if($variant=='light', darken($key_bg_color, 11%), darken(
     &:active { @include keyboard_key(active, $default_key_bg_color, $osd_fg_color);}
     &:checked { @include keyboard_key(checked, $default_key_bg_color, $osd_fg_color);}
     border-radius: $key_border_radius;
+
+    // keys that may be latched: ctrl/alt/shift
+    &:latched {
+      border-color: lighten($selected_bg_color, 5%);
+      background-color: $selected_bg_color;
+    }
   }
 
   // enter key is suggested-action
@@ -130,9 +136,9 @@ $default_key_bg_color: if($variant=='light', darken($key_bg_color, 11%), darken(
 
 // suggestions
 .word-suggestions {
-  @include fontsize($base_font_size + 3);
+  @include fontsize($base_font_size + 1);
   spacing: 12px;
-  min-height: 20pt;
+  min-height: 17pt;
   padding: $base_padding*2;
   color: $osd_fg_color;
 
@@ -141,7 +147,7 @@ $default_key_bg_color: if($variant=='light', darken($key_bg_color, 11%), darken(
     margin: 0 3px;
     min-width: 32px;
     border-radius: $base_border_radius - 2px;
-    padding: $base_padding $base_padding*3;
+    padding: 0px $base_padding*3;
 
     @include keyboard_key(undecorated, $key_bg_color, $osd_fg_color);