jQuery Grid Plugin - jqGrid

table-layout:fixed that is applied to the pager in grid.base.js causes problems when there are more than a few custom buttons or they have custom labels – although there is still room in the pager! See:

in IE7:

in Firefox 3.6, when hovering the button with a mouse:

I tried to override the table-layout:fixed by CSS with !important, it works in FF but not exactly in IE, the View section is wrapped:

The question: why table-layout:fixed is applied in the grid.base.js and not in the ui.jqgrid.css? In the later, users who have similar issues can easily override it.