2 Commits (79722c2348a8f528395adf8eb11226523d31dee9)

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