add dates to posts

src/generate/doc.rs

@@ -29,6 +29,8 @@ struct Page {
     tree_path: String,
     doc: String,
     feed: Option<Feed>,
+    updated: Option<DateTime<Utc>>,
+    tags: Vec<String>,
 }
 
 #[derive(Serialize)]
@@ -129,6 +131,8 @@ impl DocDir {
                                     .ok()?,
                             })
                         }),
+                        updated: doc.attributes.updated,
+                        tags: doc.attributes.tags.clone(),
                     },
                 },
             )

static/css/doc.css

@@ -86,6 +86,14 @@ main.doc {
                 --recursive-mono: 0;
             }
         }
+
+        & header {
+            & h1 {
+                padding-bottom: 0.25lh;
+            }
+
+            padding-bottom: 1.5lh;
+        }
     }
 
     & section.feed {

template/components/_doc.hbs

@@ -4,14 +4,11 @@
             {{#if (ne page.tree_path 'index')}}
             <header>
                 <h1 class="page-title"><a href="{{ config.site }}/{{ page.tree_path }}">{{ page.title }}</a></h1>
-                <ul class="feeds">
+                {{#if page.updated}}
-                    {{#each page.feeds as |feed|}}
+                <time datetime="{{ page.updated }}">{{ iso_date page.updated }}</time>
-                    <li>
+                {{/if}}
-                        <time datetime="{{ feed.updated }}">{{ iso_date feed.updated }}</time>
+                <div class="metadata">
-                        {{#if (gt (len page.feeds) 0)}}<span class="source-feed">[<a href="{{ feed.url }}">{{ feed.name }}</a>]</span>{{/if}}
+                </div>
-                    </li>
-                    {{/each}}
-                </ul>
             </header>
             {{/if}}