anchor.diff:  
               .detailsRight
               {
  -                width: 50%;
                   float: left;
                   margin: 12px;
                   margin-left: 0px;
  
positive.code:                         return "ex. /http500, /(a|b)"
                      default:
                          return null;
                  }
              }
  
  
negative.code:                         return [true];
                      }
                  });
                  serverList.jqGrid('gridResize', {
                      stop: function() {
                          resizeGrid( "#serverlist", serverList, initServerWidth );
                      }
                  });
  
                  var serverGroupList = jQuery("#serverGroupList");
                  serverGroupList.jqGrid({
  