/* The portal's own styles: what portal-shell.js draws and a rig's dashboard never does.
   The rig's app.css comes from the pinned rig release (deploy/portal/Dockerfile), so a
   rule the portal needs lives here, not there. */
.tabs a[hidden]{display:none}
.add-project{margin-top:14px;padding-top:12px;border-top:1px solid var(--line)}.add-project input{max-width:520px}.add-project .add-project-result:empty{display:none}