7423eed89aa44457162137a71f47ef9d6e4cfcd3
tdreszer
  Sat May 7 08:22:52 2011 -0700
One final adjustment for navLinks which ensures the subheadingBar spans the entire page even when it is wider than the window.
diff --git src/hg/js/hui.js src/hg/js/hui.js
index 384b458..d47a1fb 100644
--- src/hg/js/hui.js
+++ src/hg/js/hui.js
@@ -1015,31 +1015,31 @@
         //$(obj).attr('size',sizeWhenOpen);
         return false;
     } else if($(obj).attr('selectedIndex') == 0)
         $(obj).attr('size',1);
 return true;
 }
 
 function navigationLinksSetup()
 { // Navigation links let you jump to places in the document
   // If they exist, then they need to be well placed to fit window dimensions
 
     // Put navigation links in top corner
     var navDown = $("#navDown");
     if(navDown != undefined && navDown.length > 0) {
         navDown = navDown[0];
-        var winWidth = ($(window).width() - 30) + "px"; // Room for borders
+        var winWidth = ($(window).width() - 20) + "px"; // Room for borders
         $('.windowSize').css({maxWidth: winWidth,width: winWidth});
         var sectTtl = $("#sectTtl");
         if(sectTtl != undefined && sectTtl.length > 0) {
             $(sectTtl).css({clear: 'none'});
             $(sectTtl).prepend($(navDown));
         }
         $(navDown).css({'float':'right', 'font-weight':'normal','font-size':'medium'});
         $(navDown).show();
     }
 
     // Decide if top links are needed
     var navUp = $('span.navUp');
     if(navUp != undefined && navUp.length > 0) {
         $(navUp).each(function(i) {
             var offset = $(this).parent().offset();