2 Commits (616758ee81565d16fdc69a061c20ef1774a2a62d)

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