From 513904bd6db49355c822199dddb0700e342ebabc Mon Sep 17 00:00:00 2001
From: Rafostar <40623528+Rafostar@users.noreply.github.com>
Date: Mon, 9 Nov 2020 19:30:45 +0100
Subject: [PATCH] Make prefs tabs look like the ones in gnome-settings

---
 css/styles.css | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/css/styles.css b/css/styles.css
index daa6b6fd..9c973c1e 100644
--- a/css/styles.css
+++ b/css/styles.css
@@ -130,6 +130,17 @@ scale marks {
 .prefssubpage header {
   background: transparent;
 }
+.prefssubpage header tabs tab {
+  margin: 0px;
+}
+.prefssubpage header tabs tab:hover {
+  box-shadow: none;
+  background: rgba(0,0,0,0.08);
+}
+.prefssubpage header tabs tab:checked {
+  box-shadow: inset 200px 0 @theme_selected_bg_color;
+  color: initial;
+}
 
 /* Open URI Dialog */
 .uridialogbox {