diff --git a/_config.yml b/_config.yml
index 8a1959b25fe5e5697b7ee38808054f43e331d1fd..bf3efe6cd35663558dc04910805fd86c96886043 100644
--- a/_config.yml
+++ b/_config.yml
@@ -1,4 +1,3 @@
-# Permalinks
permalink: pretty
# Setup
@@ -29,15 +28,9 @@ author:
name: 'The KWARC Group'
url: http://kwarc.info
email: kohlhase@kwarc.info
-# twitter: opendreamkit-
semester: SS17
-collections:
- tagpages:
- output: true
- permalink: /tag/:path
-
# Custom vars
version: 0.3.0
repository: https://gl.kwarc.info/kwarc/website
@@ -47,7 +40,10 @@ materialize: materialize
jquery: jquery-3.2.1
fontawesome: font-awesome-4.7.0
+# Menu config
menu:
+ - title: 'News'
+ url: '/news/'
- title: 'People'
folder: 'people'
items:
@@ -57,6 +53,7 @@ menu:
url: 'https://kwarc.github.io/bibs/'
- title: 'Research'
folder: 'research'
+
- title: 'Systems'
folder: 'systems'
- title: 'Projects'
@@ -65,14 +62,10 @@ menu:
folder: 'students'
- title: 'Teaching'
folder: 'teaching'
- - title: 'News'
- url: '/news/'
- - title: 'Sub'
- items:
- - title: 'Contact'
- url: '/contact/'
+ - title: 'Contact'
+ url: '/contact/'
-
+# Settings for compressing everything
compress_html:
clippings: []
comments: ["<!-- ", " -->"]
diff --git a/_includes/header.html b/_includes/header.html
index 937093b935e6eec01ae368819869227c91b88071..93d062ed591cc75db69c850c94dc4382f29e94f8 100644
--- a/_includes/header.html
+++ b/_includes/header.html
@@ -30,5 +30,4 @@
{% include menu_single.html %}
{% endif %}
{% endfor %}
-</li>
</ul>
\ No newline at end of file
diff --git a/_includes/post_link.html b/_includes/post_link.html
index d996920434ffa092785556bb12f8185a398b8197..4e33974abf24fa7a4b76a989d1f5f4c8c002bc47 100644
--- a/_includes/post_link.html
+++ b/_includes/post_link.html
@@ -3,17 +3,13 @@
Expects the page representing the post as a 'post' variable.
{% endcomment %}
-<div class="post-link">
- <h3 class="post-title">
- <a href="{{ post.url }}">
- {{ post.title }} {{ post.subtitle }}
- </a>
- </h3>
- <p class="post-meta" >
- {% assign firsttag = post.tags | first %}
- {% assign type = site.tagpages | where:"tag", firsttag | first %}
- <span class="post-type">{{ type.title }} by {{post.author}}</span> -
- {% if post.location %}<span class="post-location">{{post.location}}</span> - {% endif %}
- <span class="post-date">{{ post.date | date_to_string }}</span>
- </p>
- </div>
+<li class="collection-item">
+ <h5>
+ <a href="{{post.url}}">
+ {{post.title}} {{post.subtitle}}
+ </a>
+ </h5>
+
+ {% assign post = page %}
+ {% include post_meta.html %}
+</li>
\ No newline at end of file
diff --git a/_includes/post_meta.html b/_includes/post_meta.html
new file mode 100644
index 0000000000000000000000000000000000000000..8eae82d5086c4b4270c417ec8774d346df016b15
--- /dev/null
+++ b/_includes/post_meta.html
@@ -0,0 +1,33 @@
+{% comment %}
+ Shows meta information about a post.
+ Expects the 'post' to show as an argument.
+{% endcomment %}
+
+by
+
+{% assign person = post.author %}
+{% include people_chip.html %}
+
+on
+
+<div class="chip">
+ {{ post.date | date_to_string }}
+</div>
+
+{% if post.location %}
+ at
+
+ <div class="chip">
+ {{post.location}}
+ </div>
+{% endif %}
+
+<br />
+
+in
+
+{% for tag in post.tags %}
+ <div class="chip">
+ {{tag}}
+ </div>
+{% endfor %}
\ No newline at end of file
diff --git a/_includes/tags_module.html b/_includes/tags_module.html
deleted file mode 100644
index 6b67e0b857855e77e437ec4c0191d03f86f454c9..0000000000000000000000000000000000000000
--- a/_includes/tags_module.html
+++ /dev/null
@@ -1,29 +0,0 @@
-{% capture taglinks %}
-{% if page.tags %}
- {% assign firsttag = page.tags | first %}
-{% endif %}
-{% for node in site.tagpages %}
- {% assign tag_size = site.tags[node.tag] | size %}
- {% if firsttag == node.tag %}
- {% assign firsttag_title = node.title %}
- {% endif %}
- {% if page.alltags or page.tags contains node.tag %}
- ||{{ tag_size | prepend: '0000' | slice: -4, 4 }}|<span class="tag" ><a class="btn btn-default {% if node.class %}btn-{{ node.class }}{% endif %}" href="{{ node.url }}">{{ node.title }} {% if with_post_numbers %}<span class="badge">{{ tag_size }}</span>{% endif %}</a></span>
- {% endif %}
-{% endfor %}
-{% endcapture %}
-{% capture tags %}{% for node in site.tagpages %}|{{ node.tag }}{% endfor %}{% endcapture %}
-
-{% assign split_list = taglinks | split:'||' | sort | reverse %}
-{% assign taglist = tags | split:'|' %}
-
-{% capture tagscontent %}
-{% for tag_string in split_list %}
- {% assign tag_string_parts = tag_string | split:'|' %}
- {% assign nb_parts = tag_string_parts | size %}
- {% if nb_parts > 1 %}
- {{ tag_string_parts[1] }}
- {% endif %}
-{% endfor %}
-{% endcapture %}
-
diff --git a/_layouts/course.html b/_layouts/course.html
index 68009790126b77a1ae49515973c43a05f3e87703..52bf807774cce359b8fe5d162265ed827c81b8e7 100644
--- a/_layouts/course.html
+++ b/_layouts/course.html
@@ -8,7 +8,7 @@ layout: default
<div class="card-content">
<span class="card-title">{{page.title}} ({{page.taught}})</span>
{% assign person = page.instructor %}
- Instructor: {% include people_chip.html person=person %}
+ Instructor: {% include people_chip.html %}
</div>
</div>
</div>
diff --git a/_layouts/default.html b/_layouts/default.html
index f03a9d31abbafc169cb02ef2c7a517dc112299f0..00c1613eba6399e045b9eb56afee14d581f9aec5 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -1,10 +1,8 @@
----
-layout: compress
----
{% assign sorted_pages = site.pages | sort: "menu_order" %}
<!DOCTYPE html>
<html lang="en-us">
+ <!-- url = {{page.url}} -->
{% include head.html %}
diff --git a/_layouts/post.html b/_layouts/post.html
index 363096a263a142ced971985e0e48659a54d46916..dbdf3f71d2661653c45c9303a5a44723e9aeb26d 100644
--- a/_layouts/post.html
+++ b/_layouts/post.html
@@ -2,25 +2,22 @@
layout: default
---
-<div class="post">
- {% assign with_post_numbers = false %}
- {% include tags_module.html %}
- <p class="post-meta" >
- <span class="post-type">{{ firsttag_title }} by {{page.author}}</span> -
- {% if page.location %}<span class="post-location">{{page.location}}</span> - {% endif %}
- <span class="post-date">{{ page.date | date_to_string }}</span>
- </p>
-
- {{ tagscontent }}
- {% for tag in page.tags %}
- {% if taglist contains tag %}{% else %}
- <p class="error" >Tag without page: {{ tag }}</p>
- {% endif %}
- {% endfor %}
-
-
- {{ content }}
-
-
-
-</div>
+<div class="row">
+ <div class="col s12 m5 right">
+ <div class="card">
+ <div class="card-content">
+ <span class="card-title">
+ {{ page.title }}
+ </span>
+ {% if post.subtitle %}<h6>{{post.subtitle}}</h6>{% endif %}
+
+ {% assign post = page %}
+ {% include post_meta.html %}
+
+ </div>
+ </div>
+ </div>
+ <p>
+ {{content}}
+ </p>
+</div>
\ No newline at end of file
diff --git a/_layouts/project.html b/_layouts/project.html
index 5c836140fa6b79324bf53afba420ec8453b81c46..ca8aaae25543154627d10dcb36d2c11c1fcb9fbf 100644
--- a/_layouts/project.html
+++ b/_layouts/project.html
@@ -53,7 +53,7 @@ layout: default
{% assign people = page.people | split: ',' %}
{% for person in people %}
- {% include people_chip.html person=person %}
+ {% include people_chip.html %}
{% endfor %}
</div>
{% endif %}
diff --git a/_layouts/system.html b/_layouts/system.html
index 4ade3d656a26b370d05e99b65a3a1b055bcd880e..19a226b2227865993abf6ec56208860d73fabdbd 100644
--- a/_layouts/system.html
+++ b/_layouts/system.html
@@ -40,7 +40,7 @@ layout: default
{% assign people = page.people | split: ',' %}
{% for person in people %}
- {% include people_chip.html person=person %}
+ {% include people_chip.html %}
{% endfor %}
</div>
{% endif %}
diff --git a/_layouts/tagpage.html b/_layouts/tagpage.html
deleted file mode 100644
index d3c6287a841f69ec8e82cb07328366363ee77696..0000000000000000000000000000000000000000
--- a/_layouts/tagpage.html
+++ /dev/null
@@ -1,13 +0,0 @@
----
-layout: default
----
-
-<h1>Posts: {{ page.title }}</h1>
-
-<p><a href="{{ site.baseurl }}/news/posts/" >All posts</a></p>
-
-{{ content }}
-
-{% for post in site.tags[page.tag] %}
- {% include post_link.html %}
-{% endfor %}
diff --git a/_posts/2014-09-01-Professorship.md b/_posts/2014-09-01-Professorship.md
index 724c9d4034e50e8b10687faeeb264e05ef2f4d5d..b95021fb4f167347c998d9606a97241ebc310c58 100644
--- a/_posts/2014-09-01-Professorship.md
+++ b/_posts/2014-09-01-Professorship.md
@@ -3,6 +3,6 @@ layout: post
author: mkohlhase
title: Andrea Kohlhase starts Professorship at Hochschule Neu-Ulm
tags:
- - announcement
+ - Announcements
---
Today, [Andrea Kohlhase](https://kwarc.info/people/akohlhase) starts her new position as a [Professor for Web Engineering and HCI](https://www.hs-neu-ulm.de/en/andrea-kohlhase/) at [Hochschule Neu-Ulm](https://www.hs-neu-ulm.de/). She retains her position as a guest researcher at KWARC. We are very proud of her and wish her the best at her new position.
diff --git a/_posts/2014-11-14-PhD-Defense.md b/_posts/2014-11-14-PhD-Defense.md
index 259b8079464347ed3983a34f95621ac0b0a44628..93b0070feb018dfab54125582852f146ab42daae 100644
--- a/_posts/2014-11-14-PhD-Defense.md
+++ b/_posts/2014-11-14-PhD-Defense.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: "Ph.D. Defense Fulya Horozal: Congratulations!"
tags:
- - announcement
+ - Announcements
---
With great pleasure we announce that Fulya Horozal has just defended her Dissertation [A Framework for Defining Declarative Languages](https://svn.kwarc.info/repos/fhorozal/pubs/phd-thesis.pdf) today.
diff --git a/_posts/2015-04-01-New-Phd.md b/_posts/2015-04-01-New-Phd.md
index ff9ef78026781a9a2b74a3372d6966f0035c080c..89da7508fb5323693bf4884e881f06ee4633e0da 100644
--- a/_posts/2015-04-01-New-Phd.md
+++ b/_posts/2015-04-01-New-Phd.md
@@ -3,6 +3,6 @@ layout: post
author: mkohlhase
title: "New KWARC Ph.D. Student: Dennis Müller"
tags:
- - announcement
+ - Announcements
---
We are happy to welcome [Dennis Müller](https://kwarc.info/people/dmueller) to the KWARC group as a new Ph.D. student. Dennis received a Masters degree in Mathematics from Freiburg University and will be working on the [OAF Project](http://kwarc.info/projects/OAF), initially importing the PVS library into MathHub.
diff --git a/_posts/2015-05-08OpenDreamKit.md b/_posts/2015-05-08OpenDreamKit.md
index 1b0228a467c014287ae1e1bb0f4329aa1a27c05c..afdca3a5a75c18e08e4d65d381e460585bd36784 100644
--- a/_posts/2015-05-08OpenDreamKit.md
+++ b/_posts/2015-05-08OpenDreamKit.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: OpenDreamKit H2020 Grant accepted by EU
tags:
- - announcement
+ - Announcements
---
We are delighted to announce that the Horizon 2020 proposal ``OpenDreamKit'' was accepted by the European commission:
diff --git a/_posts/2015-05-15-recruiting.md b/_posts/2015-05-15-recruiting.md
index 1d959c19f1884ddfb37081339ef18ce2c3650188..88929989feccd17572abd5d881e5e39d2ab62fd4 100644
--- a/_posts/2015-05-15-recruiting.md
+++ b/_posts/2015-05-15-recruiting.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects)
tags:
- - recruiting
+ - Recruiting
---
The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)
diff --git a/_posts/2015-07-17-Best-Paper-Award-at-CICM.md b/_posts/2015-07-17-Best-Paper-Award-at-CICM.md
index cfd2030d6221c002e44ae43f01f78bffcc9ed0b6..110959cf6068cbc97ef807fea35b2ddbd8fe1bcb 100644
--- a/_posts/2015-07-17-Best-Paper-Award-at-CICM.md
+++ b/_posts/2015-07-17-Best-Paper-Award-at-CICM.md
@@ -3,6 +3,6 @@ layout: post
author: mkohlhase
title: Best Paper Award at CICM
tags:
- - announcement
+ - Announcements
---
Mihnea Iancu and Michael Kohlhase received the best paper award at [CICM 2015](http://cicm-conference.org/2015/cicm.php) in Washington DC, USA (MKM/DML tracks) for their paper Math [Literate Knowledge Management via Induced Material](http://kwarc.info/kohlhase/papers/cicm15-induced.pdf)
diff --git a/_posts/2015-07-22-New-Demo-OEIS b/_posts/2015-07-22-New-Demo-OEIS
index ac14d076899fb44939aee8d6a61131f3cbe77a3f..97bc7ee05ac590a8f8bafeaf51f672a223632579 100644
--- a/_posts/2015-07-22-New-Demo-OEIS
+++ b/_posts/2015-07-22-New-Demo-OEIS
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: New Demo - Text and Formula search for OEIS
tags:
- - demo
+ - Demos
---
Search engine for the [On-line Encyclopedia of Integer Sequences](https://oeis.org) based on [MathWebSearch](https://search.mathweb.org) and [MMT](https://trac.kwarc.info/MMT).
diff --git a/_posts/2016-07-11-KWARC-goes-FAU.md b/_posts/2016-07-11-KWARC-goes-FAU.md
index 55ae9d71686916c6fbd58151f069eb5e7501cccd..e0afc43ba71327fa6011506b2fdfe7ff3c826d54 100644
--- a/_posts/2016-07-11-KWARC-goes-FAU.md
+++ b/_posts/2016-07-11-KWARC-goes-FAU.md
@@ -3,6 +3,6 @@ layout: post
author: mkohlhase
title: KWARC goes FAU Erlangen-Nürnberg
tags:
- - announcement
+ - Announcements
---
Michael Kohlhase has accepted an offer for the Professorship for Knowledge Representation and Processing at [FAU Erlangen-Nürnberg](http://cs.fau.de) starting September 1. 2016. He will be an adjunct professor at [Jacobs University](http://jacobs-university.de) for another year; the actual move of the group will be over fall.
diff --git a/_posts/2016-07-26-Florian-substitute-prof.md b/_posts/2016-07-26-Florian-substitute-prof.md
index e727435b2ba3b5d3fdca2a7be82bb324b3baf9f8..68f2bf97c8d30ed44e40ae9a6d063e4ec545e5ab 100644
--- a/_posts/2016-07-26-Florian-substitute-prof.md
+++ b/_posts/2016-07-26-Florian-substitute-prof.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: Florian Rabe named Substitute Professor at Jacobs University
tags:
- - announcement
+ - Announcements
---
PD Dr. Florian Rabe (the KWARC PostDoc of many years) has been named a substitute
professor at [Jacobs University](http://www.jacobs-univesity.de) for the Spring
diff --git a/_posts/2016-10-01-KWARC-established.md b/_posts/2016-10-01-KWARC-established.md
index 992de4a5d804ceebe689bea29e02826ffe119033..6691f12cac07a3e586ca51131e6501699a50cc5b 100644
--- a/_posts/2016-10-01-KWARC-established.md
+++ b/_posts/2016-10-01-KWARC-established.md
@@ -3,6 +3,6 @@ layout: post
author: mkohlhase
title: KWARC established at FAU
tags:
- - announcement
+ - Announcements
---
With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU. The Winter semester begins later this month with an AI course.
diff --git a/_posts/2016-10-01.md b/_posts/2016-10-01.md
index dc98b31ef9fe57f8810ebd0eef4ccaa3c5c2be95..604de9e5345f4815773deaebd7c65f153fe1b794 100644
--- a/_posts/2016-10-01.md
+++ b/_posts/2016-10-01.md
@@ -3,6 +3,6 @@ layout: post
author: mkohlhase
title: KWARC established at FAU
tags:
- - announcement
+ - Announcements
---
-With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU.
+With Dennis Müller moving to Erlangen, we have (the beginnings of) a group presence at FAU.
diff --git a/_posts/2017-01-19-MathModels-Workshop.md b/_posts/2017-01-19-MathModels-Workshop.md
index bdc40e77322b5c9a5c151b0d6e94856ad436f498..062606977f0ec56cc959e4f523586ca37f856eda 100644
--- a/_posts/2017-01-19-MathModels-Workshop.md
+++ b/_posts/2017-01-19-MathModels-Workshop.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: Math Modeling Workshop at FAU; Math-in-the-Middle Ontology
tags:
- - workshop
+ - Workshops
---
KWARC had a very productive workshop on modeling mathematical models with two members of the
diff --git a/_posts/2017-03-24-WIAS.md b/_posts/2017-03-24-WIAS.md
index f259c9376e2350d4d5972b6fb5d42bc5a992255e..21afa7235b2556618ce2c90378705f2dcbc13916 100644
--- a/_posts/2017-03-24-WIAS.md
+++ b/_posts/2017-03-24-WIAS.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: Report on the WP6-WIAS Workshop on Math-in-the-Middle Content
tags:
- - workshop
+ - Workshops
---
WP6 participants JacU (Florian Rabe), FAU (Dennis Müller, Michael Kohlhase) and UZH (Paul
diff --git a/_posts/2017-04-26-ODK-review.md b/_posts/2017-04-26-ODK-review.md
index 1276ea298306d3a789f03301c9bc3f039f4f7163..66dbcd4a704327fb9a0c065157cf4ca5035d88a7 100644
--- a/_posts/2017-04-26-ODK-review.md
+++ b/_posts/2017-04-26-ODK-review.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: First OpenDreamKit Review
tags:
-- announcement
+- Announcements
- ODK
---
diff --git a/_posts/2017-05-01-recruiting.md b/_posts/2017-05-01-recruiting.md
index f1f3a6efa3b7f176a856e59c3603f935398f23b5..960b17ee88ad95c7de9025714a9dc21cfc35977a 100644
--- a/_posts/2017-05-01-recruiting.md
+++ b/_posts/2017-05-01-recruiting.md
@@ -3,7 +3,7 @@ layout: post
author: mkohlhase
title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects)
tags:
- - recruiting
+ - Recruiting
---
The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)
diff --git a/_tagpages/README.md b/_tagpages/README.md
deleted file mode 100644
index 999f9e51ee0b618bb15880aceb1c191f80981ee7..0000000000000000000000000000000000000000
--- a/_tagpages/README.md
+++ /dev/null
@@ -1,15 +0,0 @@
-This folder contains a page for each *tag* on the website. Tags are used to organize
-posts by thematics. The tag system works almost automatically except that we need
-to explicitly create a page for each tag we use (due to some limitations of jekyll
-gitHub pages).
-
-For each tag, we create a *almost empty* *md* file which only contains:
-
- ---
- layout: tagpage
- tag: my-tag-name
- title: My tag Title
- class: (optional) either software (appears in yellow), keyword (appears in green), or event (appears in blue)
- ---
-
-Use the other tag pages as examples.
diff --git a/_tagpages/blogpost.md b/_tagpages/blogpost.md
deleted file mode 100644
index 393cf46fc41828232f6adee4efe2c63dbe73edfa..0000000000000000000000000000000000000000
--- a/_tagpages/blogpost.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: tagpage
-tag: blogpost
-title: Blogpost
----
diff --git a/_tagpages/conference.md b/_tagpages/conference.md
deleted file mode 100644
index e559ccf08fe1eb653429cbd6f32329bda84557c5..0000000000000000000000000000000000000000
--- a/_tagpages/conference.md
+++ /dev/null
@@ -1,6 +0,0 @@
----
-layout: tagpage
-tag: conference
-title: Conference
-class: event
----
diff --git a/_tagpages/publication.md b/_tagpages/publication.md
deleted file mode 100644
index 77fe5e882a0550ce05da3eb709ffdccb82db3c92..0000000000000000000000000000000000000000
--- a/_tagpages/publication.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: tagpage
-tag: publication
-title: Publication
----
diff --git a/_tagpages/recruiting.md b/_tagpages/recruiting.md
deleted file mode 100644
index 512c269b2bbe1fa2d7a73651322759c4a71ec480..0000000000000000000000000000000000000000
--- a/_tagpages/recruiting.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: tagpage
-tag: recruiting
-title: Recruiting
----
diff --git a/_tagpages/release.md b/_tagpages/release.md
deleted file mode 100644
index 89950095f438ef484c1f3b7491d409315bb84566..0000000000000000000000000000000000000000
--- a/_tagpages/release.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-layout: tagpage
-tag: release
-title: Release
----
diff --git a/_tagpages/talk.md b/_tagpages/talk.md
deleted file mode 100644
index da9ccc20d6d1f0d6dd15b3fd25253cb13ec60244..0000000000000000000000000000000000000000
--- a/_tagpages/talk.md
+++ /dev/null
@@ -1,6 +0,0 @@
----
-layout: tagpage
-tag: talk
-class: event
-title: Talk
----
diff --git a/_tagpages/workshop.md b/_tagpages/workshop.md
deleted file mode 100644
index 8e40225b4ba56ead8dc1ec9559615ca7f9fbcf6c..0000000000000000000000000000000000000000
--- a/_tagpages/workshop.md
+++ /dev/null
@@ -1,6 +0,0 @@
----
-layout: tagpage
-tag: workshop
-title: Workshop
-class: event
----
diff --git a/index.md b/index.md
index f95cc4359815c63a959c72a165590281b591d4e9..749099370673f1aefae950fac90cc811daa8bc8d 100644
--- a/index.md
+++ b/index.md
@@ -10,13 +10,15 @@ We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm)
We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents.
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/posts/))
+## Recent News ([see all](/news/))
-{% for post in site.posts limit:5 %}
- {% include post_link.html %}
-{% endfor %}
+<ul class="collection">
+ {% for post in site.posts limit:5 %}
+ {% include post_link.html %}
+ {% endfor %}
+</ul>
<p>© {{ site.time | date: '%Y' }}. All rights reserved.</p>
diff --git a/news/index.html b/news/index.html
index ab7ad4fb5040ba1bbbe243e7d86e8ff14ad2da3b..62ef54906601e45ea7f478b9d3ba4d8b767d6cb8 100644
--- a/news/index.html
+++ b/news/index.html
@@ -4,15 +4,12 @@ title: News
source: _posts/
---
-{% comment %}
- To add a new blog/news post, please create a file in the _posts/
- directory, taking the existing files as examples.
-{% endcomment %}
-
<div class="posts">
- {% for post in paginator.posts %}
- {% include post_link.html %}
- {% endfor %}
+ <ul class="collection">
+ {% for post in paginator.posts %}
+ {% include post_link.html %}
+ {% endfor %}
+ </ul>
</div>
-{% include pagination.html %}
+{% include pagination.html %}
\ No newline at end of file
diff --git a/news/posts.html b/news/posts.html
deleted file mode 100644
index e4077cdc1a031b2fc05246ffaed48c1cc1d7d552..0000000000000000000000000000000000000000
--- a/news/posts.html
+++ /dev/null
@@ -1,35 +0,0 @@
----
-layout: page
-title: Project Activites
-alltags: True
-menu_order: 101
----
-
-{% comment %}
-Project activities are generated through the /_posts/ folder
-{% endcomment %}
-
-<h2>By tag</h2>
-
-{% assign with_post_numbers = true %}
-{% include tags_module.html %}
-
-<div class="tagcloud" >
- <span class="tag" >
- <a class="btn btn-default" href="{{ site.blog_path}}">
- All activites <span class="badge">{{ site.posts.size }}</span>
- </a>
- </span>
- {{ tagscontent }}
-</div>
-
-<h2>Most recent Posts (<a href="{{site.blog_path}}">See all</a>)</h2>
-
-{% for post in site.posts %}
- {% if forloop.index < 5 %}
- {% include post_link.html %}
- {% endif %}
-{% endfor %}
-
-
-