diff -r 96a3723d5f70 -r eb530e39145d publications.html --- a/publications.html Sun Jul 09 08:54:31 2023 +0100 +++ b/publications.html Sun Jul 09 08:56:24 2023 +0100 @@ -16,7 +16,7 @@ BGCOLOR="#4169E1" BORDER="0" FRAME="border" - CELLPADDING="12" + CELLPADDING="11" CELLSPACING="2" RULES="all"> @@ -25,7 +25,7 @@