add public inbox notice at the end of posts, simplify styles a bit

diff --git a/haunt.scm b/haunt.scm
index 2bf1ce1..7be77b3 100644 (file)
--- a/haunt.scm
+++ b/haunt.scm
@@ -44,7 +44,20 @@
               " <" ,(post-ref post 'email) ">")
      (p (@ (class "date"))
         ,(date->string (post-date post) my-date-format)))
-    ,(post-sxml post)))
+    ,(post-sxml post)
+    (p (@ (class "muted inbox"))
+       "Have a question or comment?  Start a discussion in my "
+       (a (@ (href "https://lists.sr.ht/~bandali/public-inbox"))
+          "public inbox")
+       " by sending an email to "
+       (a (@ (href "mailto:~bandali/public-inbox@lists.sr.ht"))
+          "~bandali/public-inbox@lists.sr.ht")
+       (small
+        " ["
+        (a (@ (href "https://man.sr.ht/lists.sr.ht/etiquette.md"))
+           "mailing list etiquette")
+        "]")
+       ".")))
 
 (define (my-collection-template site title posts prefix)
   (define (post-uri post)
@@ -145,14 +158,12 @@
     (dl
      (dt "A Comparison of the Declarative Modelling Languages B, DASH,
           and TLA" (sup "+")
-          (span (@ (class "plinks"))
-                " [ "
-                (a (@ (href "papers/modre2018-declarative.pdf"))
-                   "pdf")
-                " | "
-                (a (@ (href "papers/modre2018-declarative.bib"))
-                   "bib")
-                " ]"))
+          (small
+           " [ "
+           (a (@ (href "papers/modre2018-declarative.pdf")) "pdf")
+           " | "
+           (a (@ (href "papers/modre2018-declarative.bib")) "bib")
+           " ]"))
      (dd "Ali Abbassi, "
          (a (@ (href "https://bandali.eu.org")) "Amin Bandali") ", "
          (a (@ (href "https://cs.uwaterloo.ca/~nday/"))

diff --git a/static/style.css b/static/style.css
index e4e2d77..30caa64 100644 (file)
--- a/static/style.css
+++ b/static/style.css
@@ -140,9 +140,15 @@ dd {
 dd:last-child {
   margin-bottom: 1em;
 }
-.plinks {
+small {
   font-size: 0.875em;
 }
+.muted {
+  color: #666;
+}
+.inbox {
+  margin-top: 2em;
+}
 
 ul, ol {
   list-style: none;