[gnome-shell-sass] theme: Update OSK theme

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

commit 5e3ac83d570a1bc8d68414e273db2ba44d76284f
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Feb 15 18:57:19 2018 +0100

    theme: Update OSK theme
    
    Enter/shift/layout/hide buttons have been made to use our own assets, key
    labels have been made slightly bigger, and incorrect padding has been
    removed from the extended keys popovers.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/46

 _common.scss |   20 ++++++++++++++++++--
 1 files changed, 18 insertions(+), 2 deletions(-)
---
diff --git a/_common.scss b/_common.scss
index d166075..d3adf03 100644
--- a/_common.scss
+++ b/_common.scss
@@ -1643,7 +1643,7 @@ StScrollBar {
     background-color: #393f3f;
     min-height: 2em;
     min-width: 2em;
-    font-size: 14pt;
+    font-size: 16pt;
     border-radius: 3px;
     border: 1px solid #464d4d;
     color: #e5e5e5;
@@ -1658,16 +1658,32 @@ StScrollBar {
     &.default-key {
       border-color: #2d3232;
       background-color: #1d2020;
+      background-size: 20px;
     }
     &.enter-key {
       border-color: #005684;
       background-color: #006098;
+      background-image: url("resource:///org/gnome/shell/theme/key-enter.svg");
+    }
+    &.shift-key-lowercase {
+      background-image: url("resource:///org/gnome/shell/theme/key-shift.svg");
+    }
+    &.shift-key-uppercase {
+      background-image: url("resource:///org/gnome/shell/theme/key-shift-uppercase.svg");
+    }
+    &.shift-key-uppercase:latched {
+      background-image: url("resource:///org/gnome/shell/theme/key-shift-latched-uppercase.svg");
+    }
+    &.hide-key {
+      background-image: url("resource:///org/gnome/shell/theme/key-hide.svg");
+    }
+    &.layout-key {
+      background-image: url("resource:///org/gnome/shell/theme/key-layout.svg");
     }
   }
 
   .keyboard-subkeys { //long press on a key popup
     color: white;
-    padding: 5px;
     -arrow-border-radius: 10px;
     -arrow-background-color: transparentize($osd_bg_color, 0.3);
     -arrow-border-width: 2px;