2 Commits (00653c772e7df6f68071d1cb1c92bfe9ca4876f9)

Author	SHA1	Message	Date
Em Zhan	fe6b556f51	Fix search highlighting for the default docs theme (#8270)	2023-09-13 16:37:39 +02:00
Em Zhan	9a324f337a	docs: Update mdBook theme and improve maintainability (#7524)	2023-07-09 19:20:38 +02:00