// -*- java -*-

/* scroll current navigation item into view */

$(function()
{
    var sp = $('#scroll_nav');
    sp.jScrollPane({showArrows: true});
    var top_el = $('#scroll_nav .scroll_top');
    if (top_el.length)
	sp.data('jsp').scrollToElement(top_el, true);
});