Add SiteToc to MobileNav

[marcchehab]

This PR adds the SiteToc to the MobileNav. It also fixes double type declarations in MobileNav by importing the interfaces from Nav. Adding SiteToc was then just a matter of uncommenting code that was there already.

https://github.com/datopian/portaljs/assets/105868642/75921b39-d61d-46f6-a364-5a8fcda4e7ad

[changeset-bot[bot]]

⚠️ No Changeset found

Latest commit: 1a8e7ac06ef15f27e4cb78363dface2af8a42da3

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

6 Ignored Deployments

| Name | Status | Preview | Comments | Updated (UTC) | | :--- | :----- | :------ | :------- | :------ | | **portaljs-alan-turing** | ⬜️ Ignored ([Inspect](https://vercel.com/datopian1/portaljs-alan-turing/BLa6gTadeyZa25q4yccDNDY1Mo1u)) | [Visit Preview](https://portaljs-alan-turing-git-fork-marcchehab-patch-2-datopian1.vercel.app) | | Jan 21, 2024 11:52am | | **portaljs-ckan** | ⬜️ Ignored ([Inspect](https://vercel.com/datopian1/portaljs-ckan/8xQELyqXGp9F29cMN2LFXmJRbB4T)) | [Visit Preview](https://portaljs-ckan-git-fork-marcchehab-patch-2-datopian1.vercel.app) | | Jan 21, 2024 11:52am | | **portaljs-git-example** | ⬜️ Ignored ([Inspect](https://vercel.com/datopian1/portaljs-git-example/GtjW6yDANY26o1FJeBhY8w3Sr8HM)) | [Visit Preview](https://portaljs-git-example-git-fork-marcchehab-patch-2-datopian1.vercel.app) | | Jan 21, 2024 11:52am | | **portaljs-learn** | ⬜️ Ignored ([Inspect](https://vercel.com/datopian1/portaljs-learn/HdR97XiNfRGKkXDMp9xJCT8erDws)) | [Visit Preview](https://portaljs-learn-git-fork-marcchehab-patch-2-datopian1.vercel.app) | | Jan 21, 2024 11:52am | | **portaljs-storybook** | ⬜️ Ignored ([Inspect](https://vercel.com/datopian1/portaljs-storybook/FEZpy5b9Xhu9idaG5fswsKr7T9Qi)) | [Visit Preview](https://portaljs-storybook-git-fork-marcchehab-patch-2-datopian1.vercel.app) | | Jan 21, 2024 11:52am | | **site-portaljs** | ⬜️ Ignored ([Inspect](https://vercel.com/datopian1/site-portaljs/DV5cA5hggj2JfesZDhDGVco5kWxh)) | [Visit Preview](https://site-portaljs-git-fork-marcchehab-patch-2-datopian1.vercel.app) | | Jan 21, 2024 11:52am |

[vercel[bot]]

@marcchehab is attempting to deploy a commit to the Datopian Team on Vercel.

A member of the Team first needs to authorize it.