/* Preserve the original sticky navigation on these pages. */
nav { position: sticky; }