TocEntry
An entry of a page's table of contents: one of its ## sections.
export interface TocEntry { id: string; text: string; num: string; }
An entry of a page's table of contents: one of its ## sections.
export interface TocEntry { id: string; text: string; num: string; }