//dynamically centers the nav_bar on the screen

var bar = document.getElementById("nav_bar");
var page_width = document.body.parentNode.scrollWidth;
var bar_width = bar.scrollWidth;
var offset = (page_width - bar_width) / 2;
bar.style.marginLeft = offset + "px";