river: better workspace

This commit is contained in:
2025-05-01 23:42:24 +02:00
parent 72b635ff42
commit 722a096c1e
2 changed files with 5 additions and 4 deletions

View File

@@ -78,14 +78,15 @@ button {
background-color: var(--ws-urgent);
}
#workspaces>button.empty {
background-color: var(--ws-empty);
}
#workspaces>button.active {
padding: 0px 32px;
background-color: var(--ws-active);
}
#workspaces>button.empty {
background-color: var(--ws-empty);
}
#date-time,