update carets

[s-santillan]

Thanks for improving Semgrep Docs 😀

Please ensure

• You review the content
• A technical writer reviews the content or PR

This PR...

1. Makes the carets smaller, they seem huge.
2. Adds carets to the top-level categories in the sidebar so that people know they are clickable sections. See the original request to understand the origins of this bug.

Why am I tagged for this random PR?

Because I value your opinion.

What do I do?

Check the Netlify deploy preview. Don't forget to append /docs at the end of it! We all have different 2nd monitors, browser default font sizes, laptop screens, etc, so a variety would be good.

[netlify]

✅ Deploy Preview for semgrep-docs-prod ready!

Name	Link
🔨 Latest commit	6b344f4
🔍 Latest deploy log	https://app.netlify.com/sites/semgrep-docs-prod/deploys/665f5cf798d3bd0008904ffb
😎 Deploy Preview	https://deploy-preview-1567--semgrep-docs-prod.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[khorne3]

Much improved!

[pabloest]

I don’t see the carets on mobile:

Also I think we might want to rethink the phrase/label “Back to main menu” as I think it may be commonly understood to be about the main docs menu, not the main Semgrep menu. But that can be a separate thing.

[adamboros]

I don’t see the carets on mobile:

This only happens on the root level for some reason, one level down the carets are there:

Also I think we might want to rethink the phrase/label “Back to main menu” as I think it may be commonly understood to be about the main docs menu, not the main Semgrep menu. But that can be a separate thing.

Maybe a simple 'Back' button would be enough.

The new caret size looks right to me! ✨

[s-santillan]

Fixed the missing carets. Almost there: