package generator // navDefs is appended to every theme template when parsing. // It defines named sub-templates shared across all themes: // - "splashGate" — synchronous script: first child of ; sets html.sno-splash-skip when // splash should not run (?splash=0, not index path, or Referer from same-site index/pageN). // - "navhints" — keyboard shortcut hint bar HTML // - "navSharedCSSInner" — shared CSS (injected inside each theme’s