docs: fix search-result excerpts (CSS-special anchors) + enable search-as-you-type#713

igerber merged 1 commit into

mainigerber/diff-diff:mainfrom

docs-search-anchor-fixigerber/diff-diff:docs-search-anchor-fixCopy head branch name to clipboard