[publis] renumber + JL accepted

This commit is contained in:
Gaspard Jankowiak 2023-10-25 08:15:38 +02:00
commit 4a03f39ca5
6 changed files with 30 additions and 21 deletions

View file

@ -159,6 +159,10 @@ ol li:hover { border-right: 3px solid $links; padding-right: 7px; }
#http_code { text-align: center; font-size: 10em; line-height: 1em; }
#list_submitted { list-style-type: circle }
#list_accepted { list-style-type: circle }
#list_published { list-style-type: decimal }
.footnotes { font-size: 0.8em; padding-left: 1em; margin-top: 2em;}
.footnotes ol li { padding: 0; border: none; }