links to POPL'18 talk

[web.git] / ralf / _includes / post-header.html

diff --git a/ralf/_includes/post-header.html b/ralf/_includes/post-header.html
index 6163cf5be14061788a762c36a9bb7c163fc6fbac..0d98fd8bf06bfef81213a0fe5dc3b83d3012aa70 100644 (file)
--- a/ralf/_includes/post-header.html
+++ b/ralf/_includes/post-header.html
@@ -1 +1,5 @@
-<div class="side">{{ include.item.date | date: "%b %-d, %Y" }}{% if include.item.author %} • {{ include.item.author }}{% endif %}{% if include.item.meta %} • {{ include.item.meta }}{% endif %} • <a href="{{ include.item.url }}">Permalink</a></div>
+{{ include.item.date | date: "%b %-d, %Y" }}
+{% if include.item.author %} • {{ include.item.author }}{% endif %}
+{% if include.item.meta %} • {{ include.item.meta }}{% endif %}
+{% if include.item.categories %}  • {{ include.item.categories | category_links }}{% endif %}
+ • <a href="{{ include.item.url }}">Permalink</a>