summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
commit1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch)
tree1860d41cf4e307cf1cbf872f335a4ca1b422392e
parentcdba2c81167350e5191a3518af12e8961732acf3 (diff)
Change the date format
-rw-r--r--site/posts/Ltac101.v3
-rw-r--r--site/posts/RewritingInCoq.v3
-rw-r--r--site/posts/StronglySpecifiedFunctions.v3
-rw-r--r--site/posts/StronglySpecifiedFunctionsProgram.v10
-rw-r--r--site/posts/extensible-type-safe-error-handling.org3
-rw-r--r--site/posts/index.html4
-rw-r--r--site/posts/lisp-journey-getting-started.org3
-rw-r--r--site/posts/monad-transformers.org3
-rw-r--r--site/style/main.css21
-rw-r--r--soupault.conf4
10 files changed, 28 insertions, 29 deletions
diff --git a/site/posts/Ltac101.v b/site/posts/Ltac101.v
index a9d4d68..ebf3566 100644
--- a/site/posts/Ltac101.v
+++ b/site/posts/Ltac101.v
@@ -1,6 +1,7 @@
(** #
<h1>Ltac 101</h1>
-<time datetime="2017-10-16">2017-10-16</time>
+
+<span class="time">October 16, 2017</span>
# *)
(** In this article, I give an overview of my findings about the Ltac language,
diff --git a/site/posts/RewritingInCoq.v b/site/posts/RewritingInCoq.v
index 5ebf6c6..542190c 100644
--- a/site/posts/RewritingInCoq.v
+++ b/site/posts/RewritingInCoq.v
@@ -1,6 +1,7 @@
(** #
<h1>Rewriting in Coq</h1>
-<time datetime="2017-05-13">2017-05-13</time>
+
+<span class="time">May 13, 2017</span>
# *)
(** I have to confess something. In the published codebase of SpecCert lies a
diff --git a/site/posts/StronglySpecifiedFunctions.v b/site/posts/StronglySpecifiedFunctions.v
index 9aceb67..d241c26 100644
--- a/site/posts/StronglySpecifiedFunctions.v
+++ b/site/posts/StronglySpecifiedFunctions.v
@@ -1,6 +1,7 @@
(** #
<h1>Strongly-Specified Functions in Coq with the <code>refine</code> Tactic</h1>
-<time datetime="2015-07-11">2015-07-11</time>
+
+<span class="time">January 11, 2015</span>
# *)
(** I started to play with Coq, the interactive theorem prover
diff --git a/site/posts/StronglySpecifiedFunctionsProgram.v b/site/posts/StronglySpecifiedFunctionsProgram.v
index 78ccefb..122a9ef 100644
--- a/site/posts/StronglySpecifiedFunctionsProgram.v
+++ b/site/posts/StronglySpecifiedFunctionsProgram.v
@@ -1,12 +1,10 @@
(** #
<h1>Strongly-Specified Functions in Coq with the <code>Program</code> Framework</h1>
+# *)
-<p>
-This blogpost was initially published on <time
-datetime="2017-01-14">2017-01-14</time>, and as later been heavily rewritten in
-late 2019.
-</p>
- # *)
+(** This blogpost was initially published on #<span class="time">
+ January 01, 2017</span>#, and as later been heavily rewritten in
+ late 2019. *)
(** #<div id="generate-toc"></div># *)
diff --git a/site/posts/extensible-type-safe-error-handling.org b/site/posts/extensible-type-safe-error-handling.org
index 115b3e8..9164bc2 100644
--- a/site/posts/extensible-type-safe-error-handling.org
+++ b/site/posts/extensible-type-safe-error-handling.org
@@ -1,6 +1,7 @@
#+BEGIN_EXPORT html
<h1>Extensible Type-Safe Error Handling in Haskell</h1>
-<time datetime="2018-02-04">2018-02-04</time>
+
+<span class="time">February 04, 2018</span>
#+END_EXPORT
#+OPTIONS: toc:nil
diff --git a/site/posts/index.html b/site/posts/index.html
index 4cf073e..fce046b 100644
--- a/site/posts/index.html
+++ b/site/posts/index.html
@@ -9,8 +9,8 @@
Haskell.
</p>
- <ul id="index">
- </ul>
+ <dl id="index">
+ </dl>
<p>
If you like what you read, have a question or for any other reasons really,
diff --git a/site/posts/lisp-journey-getting-started.org b/site/posts/lisp-journey-getting-started.org
index 3d8a6c1..a198c3d 100644
--- a/site/posts/lisp-journey-getting-started.org
+++ b/site/posts/lisp-journey-getting-started.org
@@ -1,6 +1,7 @@
#+BEGIN_EXPORT html
<h1>Discovering Common Lisp with <code>trivial-gamekit</code></h1>
-<time datetime="2018-06-17">2018-06-17</time>
+
+<span class="time">June 17, 2018</span>
#+END_EXPORT
diff --git a/site/posts/monad-transformers.org b/site/posts/monad-transformers.org
index de29053..e94f07d 100644
--- a/site/posts/monad-transformers.org
+++ b/site/posts/monad-transformers.org
@@ -1,6 +1,7 @@
#+BEGIN_EXPORT html
<h1>Monad Transformers are a Great Abstraction</h1>
-<time datetime="2017-07-15">2017-07-15</time>
+
+<span class="time">July 15, 2017</span>
#+END_EXPORT
#+OPTIONS: toc:nil
diff --git a/site/style/main.css b/site/style/main.css
index aadd9b0..2f405e2 100644
--- a/site/style/main.css
+++ b/site/style/main.css
@@ -71,23 +71,16 @@ body#default .paragraph {
/* index */
-ul#index {
- list-style-type: none;
- padding-left: 0;
- color: #51415C;
+dl#index {
+ padding-top: 2em;
+ padding-bottom: 2em;
}
-ul#index li {
- display: flex;
- flex-direction: row;
- align-items: first baseline;
-}
-
-ul#index .date {
- font-family: 'Fira Code', monospace;
+dl#index dd {
+ margin-top: .2em;
font-size: 80%;
- margin-right: 1em;
-
+ margin-left: 0px;
+ margin-bottom: 1em;
}
ul#index .title {
diff --git a/soupault.conf b/soupault.conf
index 52f9fee..9937eb3 100644
--- a/soupault.conf
+++ b/soupault.conf
@@ -18,7 +18,9 @@
[index]
index = true
index_selector = "#index"
- index_item_template = "<li> <span class=\"date\">{{date}}</span> <a class=\"title\" href=\"{{url}}\">{{{title}}}</a></li>"
+ index_date_selector = ".time"
+ index_date_format = "%B %d, %Y"
+ index_item_template = "<dt><a class=\"title\" href=\"{{url}}\">{{{title}}}</a></dt><dd>on {{date}}</dd>"
newest_entries_first = true
[widgets.page-title]