Promote development → master (initial production release: pre-release line + Stage 18) #104

Merged
developer merged 307 commits from development into master 2026-06-22 05:05:48 +00:00
Showing only changes of commit 712ef205c1 - Show all commits
+4 -1
View File
@@ -57,7 +57,10 @@
-webkit-user-select: none; -webkit-user-select: none;
} }
.nav.grow { .nav.grow {
flex: 1 1 auto; /* Grow into spare height (banner under the title, the board pinned to the bottom), but
never shrink: on a short viewport the banner keeps its height and the board's own
scroll (.stage) absorbs the squeeze, instead of the banner and the board splitting it. */
flex: 1 0 auto;
} }
.bar { .bar {
display: flex; display: flex;