/* The portal layout is rendered by frontend/portal and its shared stylesheet. */