# HG changeset patch
# User bsw
# Date 1634137061 -7200
# Node ID 90d325f134988a587788b07ae4b90bb3081f22c2
# Parent  65c242f4078ad25691fac66f6f68808f5a6b16d7
Smaller size of pagination links

diff -r 65c242f4078a -r 90d325f13498 static/lf4.css
--- a/static/lf4.css	Wed Oct 13 16:52:42 2021 +0200
+++ b/static/lf4.css	Wed Oct 13 16:57:41 2021 +0200
@@ -746,6 +746,11 @@
   right: 20px;
 }
 
+.ui_paginate_select .mdl-button {
+  min-width: unset;
+  margin-right: 0.3em;
+}
+
 .trace_list {
   margin-left: 10px;
   list-style-type: none;
@@ -804,5 +809,3 @@
   padding: 0px 3px;
   border-radius: 5px;
 }
-
-