HTML search: adjustments to type-dependent CSS classnames and defaults#12815
Merged
AA-Turner merged 6 commits intosphinx-doc:masterfrom jayaddison:pr-12474-followup/adjust-css-classnameSep 18, 2024
+35-24
Commits
Commits on Aug 23, 2024
- committed
- committed
- committed
- committed
