Jovyn Tan

Docs: Upgrade to latest MarkBind version

6

MarkBind is the static-site generator currently used in the TM docs. The docs are on MarkBind v3.1.1; the latest MarkBind version is v4.1.0, with v5 on the horizon. The new...

Lower (white) navbar gets printed on mobile

5

### Please confirm that you have searched existing issues in the repo Yes, I have searched the existing issues ### Any related issues? _No response_ ### Tell us about your...

Inconsistent behaviour of minimising panels on mobile

2

### Please confirm that you have searched existing issues in the repo Yes, I have searched the existing issues ### Any related issues? _No response_ ### Tell us about your...