From bd7df6dabed4540bd76d74ddcdb4a52640fabf62 Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Wed, 19 Mar 2025 15:47:31 +0100
Subject: [PATCH] Nouvelles couleur pour les URL (sans effet de bord)

---
 gitmain.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gitmain.tex b/gitmain.tex
index 6a5b84f..f43a932 100644
--- a/gitmain.tex
+++ b/gitmain.tex
@@ -39,6 +39,12 @@
 \vskip0pt%
 }
 
+\hypersetup {
+  colorlinks=false,
+  urlcolor=blue
+}
+
+\renewcommand{\UrlFont}{\color{blue}\ttfamily}
 
 \begin{document}
 
-- 
GitLab