The docs navigation menu is super useful, but it looks like there's an overflow bug:
Hi @doeg - After the PR does that also fix this issue?