Stage 7 polish: UI/UX refinements (shell, board zoom, hint-on-board, history, ...) #8

Merged
developer merged 11 commits from feature/stage-7-ui-polish into master 2026-06-03 15:39:41 +00:00
2 changed files with 16 additions and 11 deletions
Showing only changes of commit 3312130483 - Show all commits
+8 -6
View File
@@ -26,10 +26,10 @@
display: flex; display: flex;
flex-direction: column; flex-direction: column;
align-items: center; align-items: center;
gap: 2px; gap: 0;
background: none; background: none;
border: none; border: none;
padding: 2px 0; padding: 1px 0;
color: var(--text); color: var(--text);
width: 100%; width: 100%;
user-select: none; user-select: none;
@@ -38,13 +38,15 @@
:global(.tab:disabled) { :global(.tab:disabled) {
opacity: 0.4; opacity: 0.4;
} }
/* The icon square hugs the emoji (just a little padding) so it is the press-highlight
target and the badge can sit on its corner. */
:global(.tab .sq) { :global(.tab .sq) {
width: 48px; position: relative;
height: 40px; display: inline-grid;
display: grid;
place-items: center; place-items: center;
padding: 3px 10px;
border-radius: 12px; border-radius: 12px;
font-size: 1.5rem; font-size: 1.75rem;
line-height: 1; line-height: 1;
transition: background-color 0.12s; transition: background-color 0.12s;
} }
+8 -5
View File
@@ -693,14 +693,17 @@
} }
.badge { .badge {
position: absolute; position: absolute;
top: 0; top: -3px;
right: 4px; right: -3px;
font-size: 0.6rem; font-size: 0.68rem;
font-weight: 700;
background: var(--accent); background: var(--accent);
color: var(--accent-text); color: var(--accent-text);
border-radius: 999px; border-radius: 999px;
padding: 0 4px; min-width: 15px;
line-height: 1.3; padding: 0 3px;
line-height: 1.4;
text-align: center;
} }
.loading { .loading {
text-align: center; text-align: center;