Skip to content

improve mobile menu in docs #12991

Merged
freddyaboulton merged 6 commits intomainfrom
docs-mobile-menu
Mar 17, 2026
Merged

improve mobile menu in docs #12991
freddyaboulton merged 6 commits intomainfrom
docs-mobile-menu

Conversation

@hannahblair
Copy link
Collaborator

Description

improves the ux of the mobile menu

updated:

image image

before:

image image

Closes: #(issue)

AI Disclosure

We encourage the use of AI tooling in creating PRs, but the any non-trivial use of AI needs be disclosed. E.g. if you used Claude to write a first draft, you should mention that. Trivial tab-completion doesn't need to be disclosed. You should self-review all PRs, especially if they were generated with AI.

  • I used AI to... [fill here]
  • I did not use AI

🎯 PRs Should Target Issues

Before your create a PR, please check to see if there is an existing issue for this change. If not, please create an issue before you create this PR, unless the fix is very small.

Not adhering to this guideline will result in the PR being closed.

Testing and Formatting Your Code

  1. PRs will only be merged if tests pass on CI. We recommend at least running the backend tests locally, please set up your Gradio environment locally and run the backed tests: bash scripts/run_backend_tests.sh

  2. Please run these bash scripts to automatically format your code: bash scripts/format_backend.sh, and (if you made any changes to non-Python files) bash scripts/format_frontend.sh

@gradio-pr-bot
Copy link
Collaborator

gradio-pr-bot commented Mar 10, 2026

🪼 branch checks and previews

Name Status URL
Spaces ready! Spaces preview
Website ready! Website preview
Storybook ready! Storybook preview
🦄 Changes detected! Details

Install Gradio from this PR

pip install https://gradio-pypi-previews.s3.amazonaws.com/1c3e4e3c0d903be60343258e298b3bdd80a10b69/gradio-6.9.0-py3-none-any.whl

Install Gradio Python Client from this PR

pip install "gradio-client @ git+https://github.com/gradio-app/gradio@1c3e4e3c0d903be60343258e298b3bdd80a10b69#subdirectory=client/python"

Install Gradio JS Client from this PR

npm install https://gradio-npm-previews.s3.amazonaws.com/1c3e4e3c0d903be60343258e298b3bdd80a10b69/gradio-client-2.1.0.tgz

@gradio-pr-bot
Copy link
Collaborator

gradio-pr-bot commented Mar 10, 2026

🦄 change detected

This Pull Request includes changes to the following packages.

Package Version
website minor

  • improve mobile menu in docs

✅ Changeset approved by @freddyaboulton

  • Maintainers can remove approval by unchecking this checkbox.

Something isn't right?

  • Maintainers can change the version label to modify the version bump.
  • If the bot has failed to detect any changes, or if this pull request needs to update multiple packages to different versions or requires a more comprehensive changelog entry, maintainers can update the changelog file directly.

@hannahblair hannahblair requested a review from aliabd March 10, 2026 19:51
Copy link
Collaborator

@aliabd aliabd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice thanks @hannahblair! much cleaner

@freddyaboulton
Copy link
Collaborator

Awesome @hannahblair ! Merging to clear the PR backlog

@freddyaboulton freddyaboulton merged commit 6f8a053 into main Mar 17, 2026
22 of 23 checks passed
@freddyaboulton freddyaboulton deleted the docs-mobile-menu branch March 17, 2026 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants