Commit Graph

2 Commits (d7c7589fd5d4dc307f37e23bdac1e5fec4ded4fc)

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