$(function(){
    /* latched top navigation */
    $(function() {
      var path = location.pathname.substring(1);
      var section = path.split("/");
      var section = section[1];
      if (section)
          $('#navigation li[@id$="' + section + '"]').attr('class', 'selected');
    });
});