/* Compatibility shim: navigation styles are provided by navigation.js companions and header CSS. */