function defaultimport { default } from "https://dotland.deno.dev/x/fresh@1.1.5/www/components/DocsSidebar.tsx"; default(props: { path: string; mobile?: boolean; })Parametersprops: { path: string; mobile?: boolean; }