Skip to content

Re-structure tools page

Nikos Roussos requested to merge tools into master

Use a more relaxed format, since we only have one item for now.

Also fixed nav wrapping on mobile, now that we have one more link.

Merge request reports