2 Commits (5a884488412c6c49e4e904f21d44d3a944892405)

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