Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: #398 Search box of header misplaced for certain mobiles #400

Closed
wants to merge 0 commits into from

Conversation

kx412764776
Copy link
Contributor

@kx412764776 kx412764776 commented Mar 1, 2024

GitHub Issue: #398
Resolves #398

Summary: Update search box location on mobiles

Do you think resolving this issue might require an Architectural Decision Record (ADR)? (significant or noteworthy)

Yes/No
No

@benjagm
Copy link
Collaborator

benjagm commented Mar 2, 2024

Thanks a lot for this PR. Can you please remove the scope of #394 from this PR? That issue is still in triage.

Let's use this PR only for #398

@kx412764776 kx412764776 changed the title Update the intro of the tools and obsolete tools pages fix: #398 Search box of header misplaced for certain mobiles Mar 2, 2024
@kx412764776
Copy link
Contributor Author

Okay, should I remove the changes in the introduction section of the tools and obsolete-tools pages?

@benjagm
Copy link
Collaborator

benjagm commented Mar 2, 2024

Okay, should I remove the changes in the introduction section of the tools and obsolete-tools pages?

Yes please. Thanks a lot.

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.

Search box of header misplaced for certain mobiles
2 participants