develop #16

Merged
sid merged 4 commits from develop into release-25.11 2026-04-03 16:46:17 +02:00
Showing only changes of commit 0ae912d980 - Show all commits

View file

@ -71,11 +71,11 @@ in
#workspaces { #workspaces {
color: ${colors.base05}; color: ${colors.base05};
background: ${colors.base00};
} }
#workspaces button { #workspaces button {
padding: ${halfgaps}px; padding: ${halfgaps}px;
color: ${colors.base05};
} }
#workspaces button.active { #workspaces button.active {