Skip to content

Conversation

@PatStiles
Copy link
Contributor

Fix explorer nav bar

Description

Previously the nav bar had inconsistent behavior when resizing. Some elements were at different breakpoints and the search bar was not auto resizing leading to elements being cut off the screen.

Type of change

Please delete options that are not relevant.

  • New feature
  • Bug fix
  • Optimization
  • Refactor

Checklist

  • “Hotfix” to testnet, everything else to staging
  • Linked to Github Issue
  • This change depends on code or research by an external entity
    • Acknowledgements were updated to give credit
  • Unit tests added
  • This change requires new documentation.
    • Documentation has been added/updated.
  • This change is an Optimization
    • Benchmarks added/run
  • Has a known issue
  • If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
    • This PR adds compatibility for operator for both versions and do not change batcher/docs/examples
    • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

@uri-99 uri-99 mentioned this pull request Dec 19, 2024
17 tasks
Copy link
Contributor

@uri-99 uri-99 Dec 19, 2024

Choose a reason for hiding this comment

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

add more space between these 2: (docs and search bar)
image

Copy link
Contributor Author

Choose a reason for hiding this comment

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

addressed!

Copy link
Contributor

Choose a reason for hiding this comment

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

when i shrink the screen there is a point where items dissapear:
image

@MarcosNicolau MarcosNicolau requested a review from uri-99 December 20, 2024 14:45
@uri-99 uri-99 merged commit 0fa2ae5 into explorer-new-version Dec 20, 2024
1 check passed
@uri-99 uri-99 deleted the fix/explorer_nav_bar branch December 20, 2024 17:20
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