From f5e0157f7072d6781e74bb904080861e001f2c46 Mon Sep 17 00:00:00 2001
From: Fabio Caccamo <fabio.caccamo@gmail.com>
Date: Mon, 8 Jan 2024 21:39:41 +0100
Subject: [PATCH] Reduce paginator vertical padding.

---
 admin_interface/static/admin_interface/css/paginator.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/admin_interface/static/admin_interface/css/paginator.css b/admin_interface/static/admin_interface/css/paginator.css
index fc69d3e..4598a6b 100644
--- a/admin_interface/static/admin_interface/css/paginator.css
+++ b/admin_interface/static/admin_interface/css/paginator.css
@@ -1,8 +1,8 @@
 .admin-interface #changelist .paginator {
     margin-top: -1px; /* merge 2 borders into 1 */
     line-height: 1.5em;
-    padding-top: 15px;
-    padding-bottom: 15px;
+    padding-top: 12px;
+    padding-bottom: 12px;
 }
 
 .admin-interface .paginator a,