[gnome-shell/wip/sass] theme: Fix caption border gap

[Carlos Soriano Sánchez <csoriano src gnome org>]

commit f033fb43b5d3faeb89a621aa202e67a1c9bff754
Author: Carlos Soriano <csoriano gnome org>
Date:   Wed Jan 21 17:26:23 2015 +0100

    theme: Fix caption border gap
    
    Since widnows decorations with round corners has a special shape,
    which when scaled we can't match with a simple border-radius.
    So to prevent to show a gap between the caption border and the
    caption itself, apply a shadow.

 data/theme/_common.scss                  |    4 ++++
 data/theme/gnome-shell-high-contrast.css |    3 ++-
 data/theme/gnome-shell.css               |    3 ++-
 3 files changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/data/theme/_common.scss b/data/theme/_common.scss
index ebac0f6..60d7242 100644
--- a/data/theme/_common.scss
+++ b/data/theme/_common.scss
@@ -951,6 +951,10 @@ StScrollBar {
   .window-clone-border {
     border: 4px solid $selected_bg_color;
     border-radius: 4px;
+    // 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 0px 0px 0px 1px $selected_bg_color;;
   }
   .window-caption {
     spacing: 25px;
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index cee1039..4fdf481 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1202,7 +1202,8 @@ StScrollBar {
 
 .window-clone-border {
   border: 4px solid #215d9c;
-  border-radius: 4px; }
+  border-radius: 4px;
+  box-shadow: inset 0px 0px 0px 1px #215d9c; }
 
 .window-caption {
   spacing: 25px;
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 2253410..2d6fab5 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1202,7 +1202,8 @@ StScrollBar {
 
 .window-clone-border {
   border: 4px solid #215d9c;
-  border-radius: 4px; }
+  border-radius: 4px;
+  box-shadow: inset 0px 0px 0px 1px #215d9c; }
 
 .window-caption {
   spacing: 25px;