Commit Graph

2 Commits (master)

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