papers update: add ICFP talk; add refinement paper
[web.git] / ralf / _includes / post-header.html
index 435447b..0d98fd8 100644 (file)
@@ -1,6 +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 %}
-    {% if include.item.categories %}  • {{ include.item.categories | category_links }}{% 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>