Add styles for project name/git menu

2023-06-30 20:07:44 +02:00
parent a5d9a10d7b
commit cec884b5a5
2 changed files with 38 additions and 34 deletions
@@ -173,8 +173,9 @@ export function titlebar(theme: ColorScheme): any {
        },

        // Project
-        title: text(theme.lowest, "sans", "variant"),
-        highlight_color: text(theme.lowest, "sans", "active").color,
+        title: text(theme.lowest, "sans", "active"),
+        project_name_divider: text(theme.lowest, "sans", "variant"),
+        git_branch: text(theme.lowest, "sans", "variant"),

        // Collaborators
        leader_avatar: {