anchor.diff:                          return [true];
                       }
                   });
  -                serverList.jqGrid('gridResize');
  +                serverList.jqGrid('gridResize', {
  +                    stop: function() {
  +                        resizeGrid( "#serverlist", serverList, initServerWidth );
  +                    }
  +                });
   
                   var serverGroupList = jQuery("#serverGroupList");
                   serverGroupList.jqGrid({
  
positive.code: 
              .detailsRight
              {
                  width: 50%;
                  float: left;
                  margin: 12px;
                  margin-left: 0px;
  
negative.code:                 </div>
              </div>
          </div>
          </div>
      </body>
  </html>