Readability improvements in mobile

[s-santillan]

Thanks for improving Semgrep Docs 😀

Please ensure

• A subject matter expert (SME) reviews the content
• A technical writer reviews the content or PR

Was not easy to resize previews in this GH PR comment, so please check this doc: Screenshot of fixes.

Fixes

• Header - controversial - remove "Semgrep" text (look at screenshot, Semgrep goes under the search bar on 380px)
  • For some reason, docusaurus sets this in the config file, where it seems I can't swap out a longer asset for a shorter one based on breakpoints a la content as I would in CSS.
• Reduce padding between breadcrumbs and logo in article (see arrow)
• Fix Semgrep logo and Semgrep docs by changing arrangement from horizontal to vertical (see arrow)
• Made text a little smaller, in line with reduced size on phones (this still respects if the user overrides the setting)
• Fixed the gradient icon squares

Please also check ON YOUR PHONES some docs as I adjusted everything - the p, the ol, the ul, the h1-h5s.

https://deploy-preview-1816--semgrep-docs-prod.netlify.app/docs/

[netlify]

✅ Don't forget to add /docs at the end of the deploy preview site URL!

Name	Link
🔨 Latest commit	7198540
🔍 Latest deploy log	https://app.netlify.com/sites/semgrep-docs-prod/deploys/672429ac816f0800088d9e13
😎 Deploy Preview	https://deploy-preview-1816--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]

I don't know if it's just related to our individual phone settings, but the preview looks a bit better on mine than yours (e.g., the search bar on mine displays "ask" fully)

[s-santillan]

I don't know if it's just related to our individual phone settings, but the preview looks a bit better on mine than yours (e.g., the search bar on mine displays "ask" fully)

I used 360px 380px for the simulation (that's the smallest "modern" size). It's also possible, now that I think about it, to try to resize the search bar instead of changing the Semgrep logo.