From ecc766eb7b71224ba740cc7a67353ec1699f47c4 Mon Sep 17 00:00:00 2001
From: Pierre Bondoerffer <pierre@bondoer.fr>
Date: Fri, 4 Aug 2017 15:24:58 +0200
Subject: [PATCH] remove useless margin

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

diff --git a/customize.dist/src/less2/include/infopages.less b/customize.dist/src/less2/include/infopages.less
index ca37fc9bd..73b68b40a 100644
--- a/customize.dist/src/less2/include/infopages.less
+++ b/customize.dist/src/less2/include/infopages.less
@@ -21,12 +21,11 @@
     padding: 0;
     margin: 0;
 
-    font-size: 16px;
+    font-size: 16pxt:;
     font-family: 'Open Sans', 'Helvetica Neue', sans-serif;
 
     .cp-container {
         font-size: 16px;
-        margin-top: @infopages_infobar-height;
         padding-top: @infopages_padding;
         padding-bottom: @infopages_padding;
         min-height: 75vh;