From 0eb16c1c85c695aaa1d6312378f619897faa44b6 Mon Sep 17 00:00:00 2001
From: Jonathan Schleifer <js@nil.im>
Date: Sun, 1 Sep 2024 17:18:00 +0000
Subject: [PATCH] gnome-terminal: Make text slightly darker

This allows to distinguish it better from bold text.
---
 dconf/gnome-terminal | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/dconf/gnome-terminal b/dconf/gnome-terminal
index 75c2fff..e7e60e4 100644
--- a/dconf/gnome-terminal
+++ b/dconf/gnome-terminal
@@ -1,3 +1,6 @@
+[legacy/profiles:]
+list=['b1dcc9dd-5262-4d8d-a863-c897e6d979b9']
+
 [legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
 audible-bell=true
 background-color='rgb(0,0,0)'
@@ -8,7 +11,8 @@ bold-is-bright=true
 cursor-background-color='rgb(255,229,0)'
 cursor-colors-set=true
 cursor-foreground-color='rgb(128,0,0)'
-foreground-color='rgb(238,238,238)'
+font='Cascadia Mono 11'
+foreground-color='rgb(208,208,208)'
 highlight-background-color='rgb(51,68,133)'
 highlight-colors-set=true
 highlight-foreground-color='rgb(255,255,255)'