From 1dab3d03f946f1242069c1e18edebe5988e2b376 Mon Sep 17 00:00:00 2001
From: pruizf <pabloruizfabo@gmail.com>
Date: Wed, 23 Mar 2022 22:43:21 +0100
Subject: [PATCH] back to normal font size

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

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