add my POPL20 papers
[web.git] / ralf / _layouts / page.html
index 99737e0a0d2b284afaa0bb92d1dbadd5f6d0ad75..911a35af54869ebf297b72094e006f1178dd7e30 100644 (file)
@@ -1,17 +1,9 @@
 ---
 layout: default
 ---
-{% if page.pretitle %}
-<header class="pretitle">
-  {% if page.date %}
-    <div class="side"><a href="{{ page.url }}">Permalink</a> • {{ page.date | date: "%b %-d, %Y" }}{% if page.author %} • {{ page.author }}{% endif %}{% if page.meta %} • {{ page.meta }}{% endif %}</div>
-  {% endif %}
-  <h1>{{ page.pretitle }}</h1>
-</header>
-{% endif %}
 
 <header class="title">
-  <h1>{{ page.title }}</h1>
+<h1>{{ page.title }}</h1>
 </header>
 
 {{ content }}