links to POPL'18 talk
[web.git] / personal / _includes / post-header.html
index 435447b48ad0fd26bbdd6a3fa98df2f48ceeada5..0d98fd8bf06bfef81213a0fe5dc3b83d3012aa70 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>