Die Größe der jqGrid Seite Bearbeiten-box

In meinem ASP.NET MVC 3-app habe ich die pager aktiviert auf meinem jqGrid, wie im Bild unten gezeigt:

Die textbox für die Seite (Bildmitte mit der startnummer 1 in es) ist wirklich weit Weg breiter, als es sein muss. Weiß jemand, wie man passen Sie die Größe dieser box?

Dies ist insbesondere ein Problem, wenn mein raster ist schmäler als dieser, an diesem Punkt das Textfeld für die Seite schiebt (oder platziert) zu weit nach Links und landet quetschen Sie die Schaltflächen, wie in der folgenden Abbildung sehen:

Hier, die zwei Tasten an der linken Seite ("page" (Vorherige Seite, erste Seite) sind unter dem "Bearbeiten" - label, das ist Teil meiner benutzerdefinierten button Bearbeiten. Beachten Sie, dass die Seite, die box ist wirklich noch weit. Auch die "Anzeigen 1-10 von 1005" auf der rechten Seite, sichtbar auf dem ersten Bild, ist abgeschnitten in der engeren raster.

Gibt es vielleicht eine Einstellung dafür oder hat jemand einen workaround. Ich würde eher zu dem zweiten Gitter nicht breiter sein, als es muss (mein workaround ist, um die width auf einen Wert anstatt 'auto' oder 'inherit', aber das macht die grid-Spalten breit ist. Eine richtig große textbox für die Seite würde lassen viel Raum für die pager-buttons plus meine eigene Schaltfläche.

Den pager/custom-button für mein raster wie folgt Aussehen:

 .jqGrid('navGrid', '#icecreamPager', 
    { search: true, edit: false, add: false, del: false, searchText: "Search" },
   {}, //default settings for edit
   {}, //default settings for add
   {}, //default settings for delete
   {closeOnEscape: true, closeAfterSearch: true, multipleSearch: true }, //settings for search
   {}
  )
  .jqGrid('navButtonAdd', '#icecreamPager',
   { caption: "Edit", buttonicon: "ui-icon-pencil",
     onClickButton: function () {
       var grid = $("#icecreamGrid");
       var rowid = grid.jqGrid('getGridParam', 'selrow');
       var cellID = grid.jqGrid('getCell', rowid, 'icecreamID');
       var src = '@Url.Action("Edit", "Icecream", new { id = "PLACEHOLDER" })';
       document.location = src.replace('PLACEHOLDER', cellID);
    },
    position: "last"
   });

Ich habe auf der Suche durch den jqGrid-Dokumentation und Beispiele, die aber nicht zufällig auf, wie man dies. Ideen? Dies ist die 4.0 jqGrid.