diff -r 7685cec9fd3c -r f2ddfa555b0f doc/api/_static/navigation.png
Binary file doc/api/_static/navigation.png has changed