--- a/ui/gtk/toolkit.c	Thu Oct 16 15:57:05 2025 +0200
+++ b/ui/gtk/toolkit.c	Fri Oct 17 15:44:30 2025 +0200
@@ -394,6 +394,9 @@
 "  margin-top: 4px;\n"
 "  margin-bottom: 10px;\n"
 "}\n"
+".ui-listbox-header-row {\n"
+"  font-weight: bold;\n"
+"}\n"
 ".ui-badge {\n"
 "  background-color: #e53935;\n"
 "  color: white;\n"
@@ -444,6 +447,9 @@
 "  margin-top: 4px;\n"
 "  margin-bottom: 10px;\n"
 "}\n"
+".ui-listbox-header-row {\n"
+"  font-weight: bold;\n"
+"}\n"
 ".ui-badge {\n"
 "  background-color: #e53935;\n"
 "  color: white;\n"