From 821711badba2805a927eccf67190e399aa17314e Mon Sep 17 00:00:00 2001
From: Jehan <jehan@girinstud.io>
Date: Thu, 25 May 2023 18:06:41 +0200
Subject: [PATCH] themes: "System" theme should not use smaller font size.

What we call "System" theme should have very minimal edits over the
actual system theme. So let's drop all the "font-size" properties (one
"larger" one, but especially the many "smaller" ones).
This means that the "Default" theme also will keep system font size.

This is as discussed with Ville and Liam, the later saying he can barely
read dockable texts because of this.

On the other hand, we use "small" font size as a general rule in the
"Compact" theme, which is especially meant for people who want a compact
theme.
---
 themes/Compact/compact.css |  1 +
 themes/System/gimp.css     | 20 --------------------
 2 files changed, 1 insertion(+), 20 deletions(-)

diff --git a/themes/Compact/compact.css b/themes/Compact/compact.css
index 04fb68612c..4456c60f2e 100644
--- a/themes/Compact/compact.css
+++ b/themes/Compact/compact.css
@@ -2,6 +2,7 @@
 
 * {
   -GimpToolPalette-tool-icon-size: small-toolbar;
+  font-size: small;
 }
 
 toolpalette button {
diff --git a/themes/System/gimp.css b/themes/System/gimp.css
index 0f03995c75..cda67ec6a9 100644
--- a/themes/System/gimp.css
+++ b/themes/System/gimp.css
@@ -60,10 +60,6 @@ GimpFgBgEditor:active {
     border-width: 2px 2px 2px 2px;
 }
 
-GimpDock {
-    font-size: smaller;
-}
-
 GimpDock notebook tab {
     padding: 0 0 0 0;
 }
@@ -94,18 +90,6 @@ GimpDisplayShell grid > button {
     padding: 0 0 0 0;
 }
 
-GimpDisplayShell combobox entry {
-    font-size: smaller;
-}
-
-GimpDisplayShell combobox button {
-    font-size: smaller;
-}
-
-GimpDisplayShell progressbar text {
-    font-size: larger;
-}
-
 GimpDisplayShell progressbar trough,
 GimpDisplayShell progressbar progress {
     min-height: 1em;
@@ -117,10 +101,6 @@ GimpFileDialog progressbar progress {
     min-height: 1em;
 }
 
-GimpRuler {
-    font-size: smaller;
-}
-
 spinbutton entry {
     border-radius: 3px;
 }