import { type NavProps } from "https://deno.land/x/netzo@0.3.91/core/plugins/ui/islands/nav.tsx";