From d9f7c9f35206e40ecee2af31e69aea45492d4b35 Mon Sep 17 00:00:00 2001
From: Christian Medel <cmedelahumada@gmail.com>
Date: Tue, 11 Jun 2019 15:35:35 -0400
Subject: [PATCH] Sizing and color corrections

---
 gtk-3.20/gtk-widgets.css | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/gtk-3.20/gtk-widgets.css b/gtk-3.20/gtk-widgets.css
index ac82adb..db313c4 100644
--- a/gtk-3.20/gtk-widgets.css
+++ b/gtk-3.20/gtk-widgets.css
@@ -54,10 +54,6 @@ image, image:disabled, label, label:disabled, box, box:disabled {
 label selection {
   background-color: @theme_selected_bg_color;
   color: @theme_selected_fg_color; }
-label.separator {
-  color: @borders; }
-  label.separator:backdrop {
-    color: @unfocused_borders; }
 label.dim-label, label.separator, popover label.separator, popover.background label.separator, label:disabled {
   opacity: 0.55; }
 
@@ -842,6 +838,11 @@ button.circular, button.circular-button {
   border-radius: 50%;
   -gtk-outline-radius: 50%; }
 
+stackswitcher button.circular, stackswitcher button.text-button.circular {
+  min-width: 32px;
+  min-height: 32px;
+  padding: 0; }
+
 printdialog paper {
   border: 1px solid @borders;
   background: @light_shadow;