From 9023050181e4f97e8983abe1c7e234668ac1f8ed Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 1 Jul 2017 12:07:12 +0200
Subject: [PATCH] smaller heading

---
 index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.md b/index.md
index f6c1404..e4a9f34 100644
--- a/index.md
+++ b/index.md
@@ -11,7 +11,7 @@ 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 %}
-- 
GitLab