interface UserConfigimport { type UserConfig } from "https://deno.land/x/ter@0.14.0/types.d.ts"; Propertiestitle: stringdescription: stringurl: stringrootCrumb: stringauthorName: stringauthorEmail: stringauthorUrl: stringcodeHighlight: booleanoptionalnavLinks: Record<string, string>optionallang: Intl.LocalesArgumentoptionalhead: string