diff -r fe430520b26c -r ed4c12f295f7 publications.html
--- a/publications.html	Tue Jan 28 11:47:27 2020 +0000
+++ b/publications.html	Fri Feb 07 09:15:22 2020 +0000
@@ -10,7 +10,7 @@
       LINK="#0000EF" 
       VLINK="#51188E" 
       ALINK="#FF0000">
-<font face='Tahoma'>
+<font face='Optima'>
   
 <TABLE WIDTH="100%" 
        BGCOLOR="#4169E1"