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