(() => {
  const header=document.querySelector('.dispatch-header');
  if(!header)return;
  const measure=()=>document.documentElement.style.setProperty('--dispatch-header-height',`${Math.ceil(header.getBoundingClientRect().height)}px`);
  measure();
  new ResizeObserver(measure).observe(header);
})();