/* DIA_PORTAL_MENU_V1 (build run M): the client portal's one menu, the Today home, its own pages, and (Part 2) the list and document pages' layout and the portal's type sizes while the new menu is on. Colours and font ONLY from css/diano-theme.css (var(--dia-*)); no colour is written here (scripts/build-m/portal-menu.page.emulator.mjs checks it). Part 2 (Jonathan, 15 Oct): one flat list, one line per screen -- small line icon, name in sentence case and regular weight, the record count in a small grey pill; 14 px text, 38 px rows with thin lines between them; the open screen marked with a light background and a gold bar. Body 14 px; page titles 22-24 px, sections 18 px; figures 24-28 px. Everything is scoped to html.dpm-on (set by js/portal-menu.js before the signed-in page is drawn), so the "Classic menu" (html without dpm-on) is exactly the page as it was. The Administration area (owner.html) does not load this file. */ /* ---------- the shell: our side column replaces the old dark