Fix for Pagination styling is broken on IE9. #2552

The code changes fix the pagination controls display issues in IE10 and
above

Author: ashwin027

src/features/pagination/js/pagination.js

@@ -355,7 +355,7 @@
           var options = uiGridCtrl.grid.options;
 
           uiGridCtrl.grid.renderContainers.body.registerViewportAdjuster(function (adjustment) {
-            adjustment.height = adjustment.height - gridUtil.elementHeight($elm);
+            adjustment.height = adjustment.height - gridUtil.elementHeight($elm, "padding");
             return adjustment;
           });
 

src/features/pagination/less/pagination.less

@@ -9,6 +9,7 @@
     width: 100%;
     padding-top: 3px;
     padding-bottom: 3px;
+    box-sizing: content-box;
 }
 
 .ui-grid-pager-container {