Dashboard (infra/nginx/index.html, assets/css/dashboard.css)
- The emoji tile icons (octopus, eye, star, tree, ...) clashed with the
HTI-5 editorial system and read as toys. Each tile now shows one navy
Tabler 3.41.0 outline glyph (the set the marimo overlay already uses)
at a 1.5 stroke, in a 44px hairline plate — an inline <symbol> sprite,
so no extra requests. The sprite also carries i-file-invoice for the
BCDA tile on feat/bcda-v3.
- GPU / DATA badges move from 1.25rem to the 1.5rem tile padding so they
sit flush with the plate and text below.
marimo home (assets/css/marimo.css, loaded via custom_css)
- marimo mixed a 4px solid offset shadow (Create a new notebook) with
soft 2px ones (running / recent / workspace lists, search box); on the
flat palette they looked like smudged double borders. Shadows are
removed under the home container only, so editor cells are untouched.
- The blanket `input { padding: 8px 12px !important }` erased the inset
for the search box's magnifier, which sat on the placeholder; restore
28px left padding on input#search.
Checked headless (chromium, playwright 1.61) at 1440px and 390px: no
console errors, no horizontal scroll at phone width.
9bf3d08f4d