From ee4d4947584d5b6bec6968aa16aa1f2e902eea81 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ball=C3=B3=20Gy=C3=B6rgy?= <ballogyor@gmail.com>
Date: Tue, 21 Feb 2017 04:41:58 +0100
Subject: [PATCH] Add CSS selectors for GTK+ 3.20 and newer

And keep the compatibility with older versions.
---
 gtk.css | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/gtk.css b/gtk.css
index 93407ee..a1035e9 100644
--- a/gtk.css
+++ b/gtk.css
@@ -1,25 +1,33 @@
+viewport,
 GtkViewport {
 	background: none;
 }
 
+notebook tab,
 .notebook {
 	background: #3675AD;
-	font: Sans Bold 11;
+	font-weight: bold;
 }
 
+notebook header,
+notebook stack,
 .notebook > .frame,
 .notebook > .vertical {
 	background: #B7D6EA;
+	font-weight: bold;
 }
 
+notebook tab label,
 .notebook > .horizontal .label {
 	color: #B7D6EA;
 }
 
+notebook tab:checked label,
 .notebook > .horizontal.active-page .label {
 	color: #FFFFFF;
 }
 
+notebook stack label,
 .notebook > .vertical .label,
 .button .label {
 	color: #3675AD;
-- 
2.11.1