From 9ccfe2688e361286cab21e094ce20eef3dd7e87f 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 09:16:16 +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 26d62bf..b03b30d 160000
--- a/default-theme
+++ b/default-theme
@@ -1 +1 @@
-Subproject commit 26d62bf3c1de66080b5e2687b26c73d433ca5b8b
+Subproject commit b03b30d340ba4f25986da3610f3284a43e76caa7