From 0fe49d6641f77a6dbbdb8e76d1b68bdbc7be50ee Mon Sep 17 00:00:00 2001
From: Pierre Bondoerffer <pierre@bondoer.fr>
Date: Tue, 1 Aug 2017 17:26:47 +0200
Subject: [PATCH] oops, sorry, back to 100% height

---
 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 25db9d031..249927d6a 100644
--- a/customize.dist/src/less2/include/infopages.less
+++ b/customize.dist/src/less2/include/infopages.less
@@ -6,6 +6,7 @@
 // Basic setup for info pages, this should be used at the global level
 .infopages_main () {
     background-color: @colortheme_info-background;
+    min-height: 100vh;
 
     a {
         color: @colortheme_link-color;