# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1581066922 0
# Node ID ed4c12f295f7c953b2be67ca28f3a613ef410293
# Parent  fe430520b26caf5de8c632df9413c32f81c4c365
updated font

diff -r fe430520b26c -r ed4c12f295f7 index.html
--- a/index.html	Tue Jan 28 11:47:27 2020 +0000
+++ b/index.html	Fri Feb 07 09:15:22 2020 +0000
@@ -22,7 +22,7 @@
       LINK="#0000EF" 
       VLINK="#51188E"  
       ALINK="#FF0000">
-<font face='Tahoma'>
+<font face='Optima'>
 
 <TABLE WIDTH="100%" 
        BGCOLOR="#4169E1" 
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" 
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" 
diff -r fe430520b26c -r ed4c12f295f7 travelling.html
--- a/travelling.html	Tue Jan 28 11:47:27 2020 +0000
+++ b/travelling.html	Fri Feb 07 09:15:22 2020 +0000
@@ -12,7 +12,7 @@
       VLINK="#51188E" 
       ALINK="#FF0000"
       ONLOAD="striper('ul','striped','li','first,second')">
-<font face='Tahoma'>
+<font face='Optima'>
 <TABLE WIDTH="100%" 
        BGCOLOR="#4169E1" 
        BORDER="0"