Commit Graph

2 Commits (80c87d794bfd4a4974440085d993bfe8c1b9e086)

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