dev: got paginators in jqgrid to fit in IE