From b84e951240a06ecb74fe08baa883ce5d164d6a57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Benqu=C3=A9?= <mail@davidbenque.com>
Date: Wed, 20 Jan 2021 14:40:06 +0000
Subject: [PATCH] Add margin to buttons

---
 customize.dist/src/less2/include/infopages.less | 1 +
 1 file changed, 1 insertion(+)

diff --git a/customize.dist/src/less2/include/infopages.less b/customize.dist/src/less2/include/infopages.less
index 354493e1f..9207ab2ff 100644
--- a/customize.dist/src/less2/include/infopages.less
+++ b/customize.dist/src/less2/include/infopages.less
@@ -94,6 +94,7 @@ body {
             color: @colortheme_base;
             border: none;
             padding: 10px 20px;
+            margin-right: 10px;
             border-radius: 0px;
             cursor: pointer;
             &:hover, &:focus {