$(function() {
    show_current();
});

function show_current(path) {
    if( ! $("#contents2column_right .menu").length ) return;
    var p = _path(path||location.pathname);
    $("#contents2column_right .menu li a").each(function(){
        var h = _path($(this).attr("href"));
        if( h == p) $(this).addClass("current");
    });
}

function _path(p) {
    if( p.match(/\.html$/) ) return p;
    p = p.replace(/\/$/,"");
    p = p + "/index.html";
    return p;
}