[gnome-shell/wip/fmuellner/notification-redux+sass: 56/141] theme: Fix caption border gap

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

commit 88ef253779d58320cc001941393649d77f3216c6
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 2c42f1b..fbaa800 100644
--- a/data/theme/_common.scss
+++ b/data/theme/_common.scss
@@ -944,6 +944,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 0c21596..00203d4 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1200,7 +1200,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 0a669fe..d4668dc 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1200,7 +1200,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;