From 37e6a060c6ce78c035b133128758adf587affef3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Munsch?= <jeremy.munsch@ldc.fr>
Date: Wed, 20 Dec 2023 12:33:02 +0100
Subject: [PATCH] Update default theme

---
 default-theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default-theme b/default-theme
index 6ece10e..d6084af 160000
--- a/default-theme
+++ b/default-theme
@@ -1 +1 @@
-Subproject commit 6ece10e73763187b6d360da63eadc6f7c0d0f256
+Subproject commit d6084af852abcd77fbacdd6e1c7712bcc88ceadb