From d7cfbbfbb42cb5b1cff1eccd0cf1d0753d8a7b4c 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 11:51:14 +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 b03b30d..6ece10e 160000
--- a/default-theme
+++ b/default-theme
@@ -1 +1 @@
-Subproject commit b03b30d340ba4f25986da3610f3284a43e76caa7
+Subproject commit 6ece10e73763187b6d360da63eadc6f7c0d0f256