$(document).ready(function() {
   // navigation highlighting
   var page = window.location.pathname.substring(window.location.pathname.lastIndexOf("/") + 1);
   $("#navigation li a").removeClass("current").filter("[href=" + (page || "index.html") + "]").addClass("current");
   return;
});