Commit Graph

2 Commits (1911482a47f236b73a8fc9867c336266107d0795)

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