font size modif

publish.sh

@@ -62,8 +62,8 @@ perl -p -i -e "s/Last updated on .+/Mis à jour le $realdate/" site/read/index.h
 
 # change color of legal information links
 
-perl -p -i -e 's/<a href="#_mentions_/<a style="color:#737373;" href="#_mentions_/' site/index.html
-perl -p -i -e 's/<a href="#_about_this_website/<a style="color:#737373;" href="#_about_this_website/' site/en.html
+perl -p -i -e 's/<a href="#_mentions_/<a style="color:#737373;font-size:80%;" href="#_mentions_/' site/index.html
+perl -p -i -e 's/<a href="#_about_this_website/<a style="color:#737373;font-size:80%;" href="#_about_this_website/' site/en.html