DocsMenu.svelte view source tomes type Array<Tome> children? type Snippet<[category: string]> optional expand_width? type boolean optional