From 034b40369e04a6d2f146570e09ff63d4773d0332 Mon Sep 17 00:00:00 2001
From: pruizf <pabloruizfabo@gmail.com>
Date: Thu, 24 Mar 2022 08:57:25 +0100
Subject: [PATCH] font size modif

---
 publish.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/publish.sh b/publish.sh
index 3d022cd..4b4dd95 100755
--- a/publish.sh
+++ b/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
 
 
 
-- 
GitLab