
<!-- CRITICAL: Dynamic Header Spacing Script -->
<script>
(function() {
    function updateHeaderSpacer() {
        var header = document.getElementById('mainHeader');
        if (header) {
            var height = header.getBoundingClientRect().height;
            // Ensure we don't set 0 if header is hidden/glitched
            if (height > 10) {
                document.documentElement.style.setProperty('--ufo-header-height', height + 'px');
            }
        }
    }
    // Run multiple times to catch layout settling
    updateHeaderSpacer();
    window.addEventListener('DOMContentLoaded', updateHeaderSpacer);
    window.addEventListener('load', updateHeaderSpacer);
    window.addEventListener('resize', updateHeaderSpacer);
    
    // Modern observer
    if (window.ResizeObserver && document.getElementById('mainHeader')) {
        new ResizeObserver(updateHeaderSpacer).observe(document.getElementById('mainHeader'));
    }
})();
</script>
