fix: hide navigation header if nothing underneath#1035

Merged

itssharmasandeep merged 12 commits intomainfrom

nav-list-update

Jul 28, 2021

Commits on Jul 13, 2021

Commits on Jul 15, 2021

Merge branch 'main' of github.com:hypertrace/hypertrace-ui
itssharmasandeep
committed

Commits on Jul 19, 2021

Merge branch 'main' of github.com:hypertrace/hypertrace-ui
itssharmasandeep
committed

Commits on Jul 20, 2021

Merge branch 'main' of github.com:hypertrace/hypertrace-ui
itssharmasandeep
committed

Commits on Jul 26, 2021