[gtk+] HighContrast: in app notification padding

[Matthias Clasen <matthiasc src gnome org>]

commit afe0d5ff0045ea143ae57f96df1695575b45584d
Author: Matthias Clasen <mclasen redhat com>
Date:   Sat Nov 29 17:06:04 2014 -0500

    HighContrast: in app notification padding
    
    Copied the Adwaita treatment from
    e5d34372c4f163e49fb1e0a95f53445f6fa13f2c
    
    https://bugzilla.gnome.org/show_bug.cgi?id=740857

 gtk/resources/theme/HighContrast/_common.scss |    5 +++--
 gtk/resources/theme/HighContrast/gtk.css      |   10 ++++++----
 2 files changed, 9 insertions(+), 6 deletions(-)
---
diff --git a/gtk/resources/theme/HighContrast/_common.scss b/gtk/resources/theme/HighContrast/_common.scss
index 59acede..149c7f0 100644
--- a/gtk/resources/theme/HighContrast/_common.scss
+++ b/gtk/resources/theme/HighContrast/_common.scss
@@ -1692,7 +1692,9 @@ GtkScrolledWindow {
  * App Notifications *
  *********************/
 
-.app-notification {
+.app-notification,
+.app-notification.frame {
+  padding: 10px;
   border-width: 0 1px 1px;
   border-style: solid;
   border-color: $borders_color;
@@ -1700,7 +1702,6 @@ GtkScrolledWindow {
   background-image: linear-gradient(to bottom, mix(black, $bg_color, 6%) 5%,
                               mix(black, $bg_color, 4%));
   // FIXME no space for outer shadow : box-shadow: 0 1px 1px rgba(0,0,0,.5);
-  padding: 0 4px;
   .button { padding: 6px; }
 }
 
diff --git a/gtk/resources/theme/HighContrast/gtk.css b/gtk/resources/theme/HighContrast/gtk.css
index 84bc540..c964eb2 100644
--- a/gtk/resources/theme/HighContrast/gtk.css
+++ b/gtk/resources/theme/HighContrast/gtk.css
@@ -1747,14 +1747,16 @@ GtkScrolledWindow GtkViewport.frame {
 /*********************
  * App Notifications *
  *********************/
-.app-notification {
+.app-notification,
+.app-notification.frame {
+  padding: 10px;
   border-width: 0 1px 1px;
   border-style: solid;
   border-color: #7f7f7f;
   border-radius: 0 0 6px 6px;
-  background-image: linear-gradient(to bottom, #efefef 5%, #f4f4f4);
-  padding: 0 4px; }
-  .app-notification .button {
+  background-image: linear-gradient(to bottom, #efefef 5%, #f4f4f4); }
+  .app-notification .button,
+  .app-notification.frame .button {
     padding: 6px; }
 
 /*************