diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
commit | 1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch) | |
tree | 1860d41cf4e307cf1cbf872f335a4ca1b422392e /site/style | |
parent | Rework StronglySpecifiedFunctionsProgram.v (diff) |
Change the date format
Diffstat (limited to 'site/style')
-rw-r--r-- | site/style/main.css | 21 |
1 files changed, 7 insertions, 14 deletions
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 { |