The website menu is non-functional without JS
Closed this issue · 2 comments
KOLANICH commented
Likely should be rewritten in HTML5 + CSS.
arthaud commented
We accept pull requests if that's something you would want to do :)
arthaud commented
The website is auto-generated by docusaurus, an open source tool.
You can still access the documentation in markdown if you do not have Javascript enabled: https://github.com/facebook/mariana-trench/blob/main/documentation/website/documentation/getting_started.md
Will close this for now since there is a workaround.