[gtk+] HighContrast: Fix up stackswitcher

[Matthias Clasen <matthiasc src gnome org>]

commit 32177aa03bb4be191ad29e7bfc51aeaade83f317
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Jan 4 22:08:53 2016 -0500

    HighContrast: Fix up stackswitcher
    
    Copy Some of the more recent additions from Adwaita.

 gtk/theme/HighContrast/_common.scss |   32 ++++++++++++++++++++++++++++++++
 gtk/theme/HighContrast/gtk.css      |   25 +++++++++++++++++++++++++
 2 files changed, 57 insertions(+), 0 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index aacd667..a7ed49e 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -2580,3 +2580,35 @@ cursor-handle {
   }
 }
 
+button.circular {
+  border-radius: 20px;
+  -gtk-outline-radius: 20px;
+}
+
+button.circular label {
+  padding: 0;
+}
+
+frame.keycap {
+  background-color: #fefefe;
+  border: 1px solid #cecece;
+  border-radius: 5px;
+  box-shadow: 0px 1px 0px #fff inset,
+              0px -2px 0px #dedede inset;
+  color: #555753;
+  padding: 3px 8px 3px 8px;
+}
+
+*:drop(active):focus,
+*:drop(active) {
+  border: 1px solid black;
+}
+
+stackswitcher button.text-button {
+  min-width: 100px;
+}
+
+stackswitcher button.circular {
+  min-width: 0px;
+}
+
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 692a905..0926472 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -2949,3 +2949,28 @@ cursor-handle {
   .touch-selection .radio:backdrop:checked {
     -gtk-icon-shadow: none;
     color: #fff; }
+
+button.circular {
+  border-radius: 20px;
+  -gtk-outline-radius: 20px; }
+
+button.circular label {
+  padding: 0; }
+
+frame.keycap {
+  background-color: #fefefe;
+  border: 1px solid #cecece;
+  border-radius: 5px;
+  box-shadow: 0px 1px 0px #fff inset, 0px -2px 0px #dedede inset;
+  color: #555753;
+  padding: 3px 8px 3px 8px; }
+
+*:drop(active):focus,
+*:drop(active) {
+  border: 1px solid black; }
+
+stackswitcher button.text-button {
+  min-width: 100px; }
+
+stackswitcher button.circular {
+  min-width: 0px; }