diff options
| -rw-r--r-- | site/posts/Ltac101.v | 3 | ||||
| -rw-r--r-- | site/posts/RewritingInCoq.v | 3 | ||||
| -rw-r--r-- | site/posts/StronglySpecifiedFunctions.v | 3 | ||||
| -rw-r--r-- | site/posts/StronglySpecifiedFunctionsProgram.v | 10 | ||||
| -rw-r--r-- | site/posts/extensible-type-safe-error-handling.org | 3 | ||||
| -rw-r--r-- | site/posts/index.html | 4 | ||||
| -rw-r--r-- | site/posts/lisp-journey-getting-started.org | 3 | ||||
| -rw-r--r-- | site/posts/monad-transformers.org | 3 | ||||
| -rw-r--r-- | site/style/main.css | 21 | ||||
| -rw-r--r-- | soupault.conf | 4 |
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] |