diff -r a04cb4398034 -r 380ec881faa2 ui/gtk/toolkit.c --- 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"