diff -r 77254bd6dccb -r c3dfcb8f0be7 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Sun Jul 20 22:04:39 2025 +0200 +++ b/ui/gtk/toolkit.c Sun Aug 24 15:24:16 2025 +0200 @@ -395,6 +395,15 @@ " margin-top: 4px;\n" " margin-bottom: 10px;\n" "}\n" +".ui-badge {\n" +" background-color: #e53935;\n" +" color: white;\n" +" border-radius: 9999px;\n" +" padding: 0px 10px 0px 10px;\n" +" font-weight: bold;\n" +" margin-left: 4px;" +" margin-right: 4px;" +"}\n" ; #elif GTK_MAJOR_VERSION == 3 @@ -428,6 +437,15 @@ " margin-top: 4px;\n" " margin-bottom: 10px;\n" "}\n" +".ui-badge {\n" +" background-color: #e53935;\n" +" color: white;\n" +" border-radius: 9999px;\n" +" padding: 0px 10px 0px 10px;\n" +" font-weight: bold;\n" +" margin-left: 4px;" +" margin-right: 4px;" +"}\n" ; #endif