Add #navtopright to Header, #256.