sidebar menu widget

Hi,

I was wondering what kind of sidebar menu widget did you use for your documentation page:
http://documentation.hb-themes.com/highend/#undefined

or is this not a widget but hand-coded menu?

Thanks!