new post on evaluating types-as-contracts

[web.git] / personal / _layouts / page.html

diff --git a/personal/_layouts/page.html b/personal/_layouts/page.html
index 99737e0a0d2b284afaa0bb92d1dbadd5f6d0ad75..911a35af54869ebf297b72094e006f1178dd7e30 100644 (file)
--- a/personal/_layouts/page.html
+++ b/personal/_layouts/page.html
@@ -1,17 +1,9 @@
 ---
 layout: default
 ---
 ---
 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">
 
 <header class="title">

-  <h1>{{ page.title }}</h1>
+<h1>{{ page.title }}</h1>

 </header>
 
 {{ content }}
 </header>
 
 {{ content }}