/*
 * Fixed-header offset.
 *
 * header.css:848 makes the header `position: fixed` while body.fixed-header is set, which takes it
 * out of the flow and drops everything below it by the header's height. This gives that space back.
 *
 * assets/js/header-offset.js measures <header> and publishes --header-height; the fallback of 0
 * means that if the script fails the page behaves exactly as it does today rather than opening a
 * gap of the wrong size.
 *
 * Deliberately not transitioned: the class flips instantly, so the padding has to as well. A
 * transition would let the content drift after the header snapped, which is the same jump again,
 * only slower.
 *
 * Below 576px menu.js never adds the class, so this never applies.
 *
 * A theme file, not the UI team's — header.css and menu.js are both untouched.
 */

body.fixed-header {
    padding-top: var(--header-height, 0px);
}