export function hasNav(): boolean {
  return ERUDIT.contentNav.id2Node.size > 0;
}