/* * Portal icon rail — the app's left-hand portal navigation (ISH-253). * * This is the single source of truth for the rail's appearance. It replaced the * per-page copies of the old top-right portal dropdown's CSS, which had drifted * across the 18 pages that carried it (see .docs/AGENT_GUIDE.md §N). The markup * this styles is rendered by renderPortalRail() in js/shared.js — don't hand-write * rail markup in a page, and don't re-declare these rules in a page's inline *