From 66d405abceee426f8e659e046d17a8b44c35e139 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 11 May 2018 09:38:35 +0200
Subject: [PATCH] pp

---
 onelab.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/onelab.css b/onelab.css
index 862ba07..2471f46 100644
--- a/onelab.css
+++ b/onelab.css
@@ -16,7 +16,7 @@ img { border: none; vertical-align: middle; }
 img.screenshot { margin:0.5ex; box-shadow: 0px 1px 4px #bbb;  }
 #toc { margin-top:2em; margin-bottom:2.5em; }
 .fb-like, .twitter-follow-button { vertical-align:bottom; }
-.social{ height:18px; vertical-align:top; }
+.social{ height:15px; vertical-align:top; }
 
 hr { height: 1px; color: #aaa; background-color: #aaa; border: 0;
  margin: .2em 0 .2em 0; }
-- 
GitLab