From 828f2e18010c42be035e387044b5a50459b8a609 Mon Sep 17 00:00:00 2001
From: Benjamin Otte <otte@redhat.com>
Date: Sun, 21 Feb 2016 06:03:43 +0100
Subject: [PATCH] win32 theme: Sanitize a few colors

---
 gtk/theme/win32/gtk-win32-base.css | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css
index df2dc9fcdd..277721b383 100644
--- a/gtk/theme/win32/gtk-win32-base.css
+++ b/gtk/theme/win32/gtk-win32-base.css
@@ -1,6 +1,5 @@
 @define-color bg_color -gtk-win32-color(button, 15);
 @define-color text_color -gtk-win32-color(button, 18);
-@define-color base_color #fff;
 @define-color selected_bg_color -gtk-win32-color(button, 13);
 @define-color selected_fg_color -gtk-win32-color(button, 14);
 @define-color info_fg_color rgb (181, 171, 156);
@@ -25,9 +24,8 @@ viewport {
     /* XXX: This should be the default, but isn't?! */
     font-family: "Segoe UI", Sans;
     font-size: 9px;
-    background-color: @bg_color;
-    color: -gtk-win32-color(button, 18);
-    border-color: shade (@bg_color, 0.6);
+    background-color: -gtk-win32-color(window, 15);
+    color: -gtk-win32-color(window, 18);
 }
 
 * {
@@ -105,12 +103,12 @@ scrolledwindow.frame {
 .view {
   border-width: 0;
   border-radius: 0;
-  background-color: @base_color;
+  background-color: -gtk-win32-color(edit, 5);
   color: @text_color;
 }
 
 .view:selected {
-  background-color: shade (@bg_color, 0.9);
+  background-color: shade (-gtk-win32-color(edit, 5), 0.9);
   color: @fg_color;
 }