GitHub Slider JQuery Plugin

Question

The new Github HTML5 and CSS3 (HTML5 History API) tree navigation is great: https://github.com/blog/760-the-tree-slider

Which JQuery Plugin are they using to do the UI s

Answer 1

I guess it will help you.

jquery.sliders