search filtering by doc_type

[dhtclk]

Summary

Indexing doc_type in algolia and adding the ability to filter by document type

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Preview	Comments	Updated (UTC)
clickhouse-docs	Ready	Preview	Comment	Sep 22, 2025 9:14pm

3 Skipped Deployments

Project	Deployment	Preview	Comments	Updated (UTC)
clickhouse-docs-jp	Ignored			Sep 22, 2025 9:14pm
clickhouse-docs-ru	Ignored	Preview		Sep 22, 2025 9:14pm
clickhouse-docs-zh	Ignored	Preview		Sep 22, 2025 9:14pm

[Blargian]

LGTM for the most part - I trust that it's working locally. Only feedback I have is that in light-mode it looks a little weird, see below:

I feel like the drop down should maybe be positioned to the right of the search bar if possible. (or alternatively as check boxes below the search bar):

Really nice addition! :)

[dhtclk]

LGTM for the most part - I trust that it's working locally. Only feedback I have is that in light-mode it looks a little weird, see below:

I feel like the drop down should maybe be positioned to the right of the search bar if possible. (or alternatively as check boxes below the search bar): Really nice addition! :)

I adjusted the styling the best I could based on the limitations of customizing doc search. it's quite fickle.