From 359b48f5641cc0e3c3e6a060c2c86a1d4f91e80b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 07:29:48 +0200
Subject: [PATCH] smaller news header

---
 index.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.md b/index.md
index b3327d2..f6c1404 100644
--- a/index.md
+++ b/index.md
@@ -11,10 +11,10 @@ We concentrate on developing techniques for marking up the [structural semantics
 This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.
 
 
-## Recent News ([see all](/news/))
+### Recent News ([see all](/news/))
  
 <ul class="collection">
     {% for post in site.posts limit:5 %}
         {% include post_link.html %}
     {% endfor %}
-</ul>
\ No newline at end of file
+</ul>
-- 
GitLab