Em Zhan fe6b556f51 Fix search highlighting for the default docs theme (#8270)		2023-09-13 16:37:39 +02:00
..
src	Add insert-final-newline config option (#8157)	2023-09-11 19:06:25 -05:00
theme	docs: Update mdBook theme and improve maintainability (#7524)	2023-07-09 19:20:38 +02:00
.gitignore	Add book/ (mdbook based user guide)	2021-04-05 15:48:08 +09:00
book.toml	use AND operator when searching (#7839)	2023-08-08 15:22:52 +02:00
custom.css	Fix search highlighting for the default docs theme (#8270)	2023-09-13 16:37:39 +02:00