$(document).ready(function(){$("a").attr("href",function(n,t){if(t!=null&&t.length>1&&t[0]==="#")return location.pathname+t});$('a[href^="#fig"]').click(function(){return document.location.hash=this.hash,!1})})