From b0c16586422a8b10f609b13724e3e83af9ef439b Mon Sep 17 00:00:00 2001
From: "G.Willems" <g.willems.dev@laposte.net>
Date: Sat, 2 Sep 2023 00:04:54 +0200
Subject: [PATCH] theme: use relative font sizes

This allows text to properly scale when changing the default font size.
---
 gtk/theme/Default/_common.scss | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/gtk/theme/Default/_common.scss b/gtk/theme/Default/_common.scss
index e7a9af7cac..3c2edfcc98 100644
--- a/gtk/theme/Default/_common.scss
+++ b/gtk/theme/Default/_common.scss
@@ -259,39 +259,39 @@ spinner {
 
 .large-title {
    font-weight: 300;
-   font-size: 24pt;
+   font-size: 240%;
 }
 .title-1 {
    font-weight: 800;
-   font-size: 20pt;
+   font-size: 200%;
 }
 .title-2 {
    font-weight: 800;
-   font-size: 15pt;
+   font-size: 150%;
 }
 .title-3 {
    font-weight: 700;
-   font-size: 15pt;
+   font-size: 150%;
 }
 .title-4 {
    font-weight: 700;
-   font-size: 13pt;
+   font-size: 130%;
 }
 .heading {
    font-weight: 700;
-   font-size: 11pt;
+   font-size: 110%;
 }
 .body {
    font-weight: 400;
-   font-size: 11pt;
+   font-size: 110%;
 }
 .caption-heading {
    font-weight: 700;
-   font-size: 9pt;
+   font-size: 90%;
 }
 .caption {
    font-weight: 400;
-   font-size: 9pt;
+   font-size: 90%;
 }
 
 /****************
@@ -3592,7 +3592,7 @@ window.dialog.message { // Message Dialog styling
 
   & label.title {
     font-weight: 800;
-    font-size: 15pt;
+    font-size: 150%;
   }
 
   &.csd { // rounded bottom border styling for csd version
-- 
2.30.2