diff -r 138b1089ba05 -r b8e41d42f400 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Thu Dec 12 11:23:33 2024 +0100 +++ b/ui/gtk/toolkit.c Thu Dec 12 16:34:39 2024 +0100 @@ -396,6 +396,21 @@ ".ui_label_title {\n" " font-weight: bold;\n" "}\n" +"placessidebar row {\n" +" padding-left: 10px;\n" +"}\n" +".ui-listbox-header {\n" +" font-weight: bold;\n" +" margin-left: 10px;\n" +" margin-top: 12px;\n" +" margin-bottom: 10px;\n" +"}\n" +".ui-listbox-header-first {\n" +" font-weight: bold;\n" +" margin-left: 10px;\n" +" margin-top: 4px;\n" +" margin-bottom: 10px;\n" +"}\n" ; #endif