2 Commits (6e52d9439f9145b889c27d4bc61a04f40b5109e0)

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