/* Shared by every page; the shadow root prevents page CSS changing the menu. */
site-navigation{display:block;position:relative;z-index:1000;height:78px;width:100vw;margin-left:calc(50% - 50vw)}
@media(max-width:700px){site-navigation{height:auto;min-height:64px}}

/* Prevent double-tap zoom while preserving scrolling and pinch-to-zoom. */
html,body{touch-action:manipulation}

a,button,summary{touch-action:manipulation}