Adding Default Navigation to 404 Page

[jenn-macfarlane]

Hi there! New to NextJS/Nextra and I'm building a 404 page for our Nextra project.

I want to include the Nextra navigation on the 404 page just like any other page. I have the 404 page living at top-level in /src as 404.tsx (per NextJS docs) but since this is just a component I lose the navigation. I'm using the out-of-the-box Nextra navigation.

I didn't see this in the Nextra docs so wondering if someone can point me in the right direction - looks like it should be possible as the Nextra docs themselves appear to have this behaviour!

Thanks!