window.onload=function(){TrimLongLinks()};
function TrimLongLinks(){
var i,l,t;
l=document.getElementById("nav").getElementsByTagName("a");
for(i=0;i<l.length;i++){
   t=l[i].innerHTML;
   if(t.length>15 && t.indexOf(" ")<0)
       l[i].firstChild.nodeValue=t.substr(0,12)+"...";
   }
}