From 0b4aacfb03711fd2921b3405fca37501a39b6ffb 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 13:33:40 +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 d6084af..6bf85e0 160000
--- a/default-theme
+++ b/default-theme
@@ -1 +1 @@
-Subproject commit d6084af852abcd77fbacdd6e1c7712bcc88ceadb
+Subproject commit 6bf85e09efbbea81202ee3579ee6259e9b9f835b