Martin Donath eb5d318603

Merge pull request #4831 from jcouball/upgrade_mermaid ...

Upgraded to Mermaid v9.3.0

2023-01-05 22:50:30 +01:00

..

images

…

javascripts

Upgrade to Mermaid 9.3.0

2023-01-05 11:14:01 -08:00

stylesheets

Improved discernability of section index pages in navigation

2023-01-05 22:43:43 +01:00