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