diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-05 21:50:12 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-05 21:50:12 +0100 |
commit | fc5aed134f5e1711bef7ef68a271d383cb86ba2c (patch) | |
tree | b4a75c80dfca53fd0f30d2d22bf773a92ee85332 /site/posts/index.html | |
parent | Fix link to locally defined terms in coqdoc output (diff) |
Various theme tweaking
Diffstat (limited to 'site/posts/index.html')
-rw-r--r-- | site/posts/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/posts/index.html b/site/posts/index.html index fce046b..4cf073e 100644 --- a/site/posts/index.html +++ b/site/posts/index.html @@ -9,8 +9,8 @@ Haskell. </p> - <dl id="index"> - </dl> + <ul id="index"> + </ul> <p> If you like what you read, have a question or for any other reasons really, |