Merge pull request #21 from odersky/add-banner

Add navigation
odersky · Apr 12, 2024 · 4232c98 · 4232c98
2 parents 676e393 + 4136232
commit 4232c98
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/_layouts/post.html b/_layouts/post.html
@@ -0,0 +1,20 @@
+---
+layout: default
+---
+
+<article class="post">
+    <header>
+        <h1>{{ page.title }}</h1>
+        <p class="post-meta">{{ page.date | date: "%b %-d, %Y" }}</p>
+    </header>
+    {{ content }}
+</article>
+
+<div class="post-nav">
+    {% if page.previous.url %}
+    <a href="{{ page.previous.url }}" title="{{ page.previous.title }}">← Previous</a>
+    {% endif %}
+    {% if page.next.url %}
+    <a href="{{ page.next.url }}" title="{{ page.next.title }}">Next →</a>
+    {% endif %}
+</div>