From e53f6f72d8dca0e709709b3801541d3851d3e86a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 14 Dec 2018 13:36:55 +0100
Subject: [PATCH] tweaks

---
 _layouts/person.html | 20 ++++++++++++--------
 people/mkohlhase.md  |  3 ++-
 2 files changed, 14 insertions(+), 9 deletions(-)

diff --git a/_layouts/person.html b/_layouts/person.html
index 811da35..b59fbfb 100644
--- a/_layouts/person.html
+++ b/_layouts/person.html
@@ -66,24 +66,28 @@ layout: default
             </div>
             <div class="card-action">
                 {% if page.publink == "auto" %}
-                  <a href="http://kwarc.github.io/bibs/{{username}}/"><img src="/public/pubs.jpg"/></a>
+                  <a href="http://kwarc.github.io/bibs/{{username}}/"><img width=".7cm" src="/public/pubs.jpg"/></a>
                 {% elsif page.publink %}
-                  <a href="{{page.publink}}"><img src="/public/pubs.jpg"/></a>
+                  <a href="{{page.publink}}"><img width=".7cm"  src="/public/pubs.jpg"/></a>
                 {% endif %}
                 {% if page.website %}
-                <a target="_blank" href="{{page.website}}"><img src="/public/www.jpg"/></a>
+                <a target="_blank" href="{{page.website}}"><img width=".7cm"  src="/public/www.jpg"/></a>
+                &nbsp;
+                {% endif %}
+                {% if page.orcid %}
+                <a target="_blank" href="http://orcid.org/{{page.orccid}}"><img width=".7cm"  src="/public/orcid.png"/> </a>
                 &nbsp;
                 {% endif %}
                 {% if page.github %}
-                <a target="_blank" href="http://github.com/{{page.github}}"><img src="/public/github.png"/></a>
+                <a target="_blank" href="http://github.com/{{page.github}}"><img width=".7cm"  src="/public/github.png"/></a>
                 &nbsp;
                 {% endif %}
-                {% if page.GitLab %}
-                <a target="_blank" href="http://gitlab.com/{{page.gitlab}}"><img src="/public/gitlab.png"/></a>
+                {% if page.gitlab %}
+                <a target="_blank" href="http://gitlab.com/{{page.gitlab}}"><img width=".7cm"  src="/public/gitlab.png"/></a>
                 &nbsp;
                 {% endif %}
-                {% if page.orcid %}
-                <a target="_blank" href="http://orcid.org/{{page.orccid}}"><img src="/public/orcid.png"/> </a>
+                {% if page.mathhub %}
+                <a target="_blank" href="http://gl.mathhub.info/{{page.mathhub}}"><img width=".7cm"  src="/public/mathHubLogo.png"/></a>
                 &nbsp;
                 {% endif %}
             </div>
diff --git a/people/mkohlhase.md b/people/mkohlhase.md
index 6e5887b..97ce507 100644
--- a/people/mkohlhase.md
+++ b/people/mkohlhase.md
@@ -10,7 +10,8 @@ pic: public/images/mkohlhase.jpg
 start_date: 2003-09
 orcid: 0000-0002-9859-6337
 github: kohlhase
-gitlab: mkohlhase
+gitlab: mkohlhase  
+mathhub: mkohlhase  
 publink: auto
 affiliation: "Informatik, FAU Erlangen-Nürnberg &  Computer  Science, Carnegie Mellon University"
 ---
-- 
GitLab