/**
 * Page jump for scrollable DIV's.
 * div     The DOM ID of the scrollable DIV.
 * element The DOM ID of the jump target.
 */
function jump(div, element) {
    document.getElementById(div).scrollTop = document.getElementById(element).offsetTop - 5;
}