Condensing scroll bar

A full-width bar that shrinks into a short floating bar as the page scrolls, then shows the current section and a progress ring. Scroll the page.

One scroll value drives width, height and radius through CSS calc()