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 7cd4474945 - Show all commits
+4 -1
View File
@@ -57,7 +57,10 @@
-webkit-user-select: none;
}
.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 {
display: flex;