You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
trigger the action "Build, zip and upload documentation for release" ( build_sphinx_documentation.yml ) on the branch (master)
make the following esthetic change the generated zip: in static/js/theme.js change .wy-menu-vertical ul into .wy-menu-vertical li > ul
as suggested in this PR