ef9ebf9f02316937a3c5a803344e7ad5fcddeb07
tdreszer
  Fri Jul 30 13:25:36 2010 -0700
Minor tweek to make sure resizing doesn't obscure page border
diff --git src/hg/js/hui.js src/hg/js/hui.js
index 30d01e6..34f5d8c 100644
--- src/hg/js/hui.js
+++ src/hg/js/hui.js
@@ -1217,7 +1217,7 @@
     // Put navigation links in top corner
     var navDown = $("span#navDown");
     if(navDown != undefined) {
-        var winWidth = ($(window).width() - 20) + "px";
+        var winWidth = ($(window).width() - 30) + "px"; // Room for borders
         $('.windowSize').css({maxWidth: winWidth,width: winWidth});
         var sectTtl = $("#sectTtl").parents("td");
         if(sectTtl != undefined) {