From d4b06fdc6dffabee0ceb191dfc19280571c5bacb Mon Sep 17 00:00:00 2001
From: Menno Dekker <menno.dekker@erasmusmc.nl>
Date: Wed, 17 Apr 2013 15:55:51 +0200
Subject: [PATCH] dev: got paginators in jqgrid to fit in IE

---
 styles/adminstyle.css | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/styles/adminstyle.css b/styles/adminstyle.css
index 5cb757a3404..dc586210cb1 100644
--- a/styles/adminstyle.css
+++ b/styles/adminstyle.css
@@ -149,4 +149,22 @@ div.ui-jqgrid-hbox input, div.ui-jqgrid-hbox input{
     float:left;
     width:70%; 
     padding:1em;
+}
+
+/* Make jqgrid pagers fit in IE */
+.ui-jqgrid .ui-jqgrid-toppager,
+.ui-jqgrid .ui-jqgrid-pager {
+    height: auto !important;
+}
+
+/* Make pager not so high */
+.ui-jqgrid input.ui-pg-input,
+.ui-jqgrid select.ui-pg-selbox {
+    height: auto;
+    min-height: 1.4em;
+    line-height: 1.4em;
+    display: inline-block;
+    min-width: 0;
+    width: auto;
+    overflow: hidden;
 }
\ No newline at end of file