It's flair but I like it in this case. It would be nice if the scrollbar were styleable cross-browser with CSS but until that becomes possible, custom ones like this can also show anchor points, and in this case your own highlights (which is also a neat feature, given that it save to local content and doesn't need an account)