function defaultimport { default } from "https://deno.land/x/fastro@v0.93.4/components/inline-nav.tsx"; default(props: { title?: string; description?: string; destination?: string; })Parametersprops: { title?: string; description?: string; destination?: string; }