/* Keep the public header in normal flow, then pin it while the document scrolls. */
.rl-header--sticky { position:sticky; top:0; z-index:30; }
html:has(.rl-header--sticky) { scroll-padding-top:80px; }

@media (max-width:850px) {
    html:has(.rl-header--sticky) { scroll-padding-top:130px; }
}
@media print {
    .rl-header--sticky { position:relative; top:auto; }
    html:has(.rl-header--sticky) { scroll-padding-top:0; }
}