/* Shared page edges: preserve readable controls while giving tables the width. */
:root { --portal-page-gutter: 8px; }
@media(max-width:600px) { :root { --portal-page-gutter: 4px; } }