/* WDR FIX12 compatibility layer: normal WDR10 menu is never hidden. */
html body .wdr12-legacy-hidden { display: none !important; }
/* Hide the common known old top-level headers before scripts finish loading. */
html body:has(#wdr10-site-header) > .site-shell > header.site-header,
html body:has(#wdr10-site-header) > .page-shell > header.site-header,
html body:has(#wdr10-site-header) > header.site-header:not(#wdr10-site-header),
html body:has(#wdr10-site-header) > header#site-header:not(#wdr10-site-header) { display: none !important; }