Sauvegarde

elements/header.php

@@ -52,6 +52,9 @@ $currentPage = basename($_SERVER['PHP_SELF']);
     <link rel="stylesheet" href="../styles/primary_css.css">
     <!-- Ajout de Font Awesome pour les icones de home.php-->
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.5.2/css/all.min.css">
+    <!-- Devicon : équivalent gratuit de Font Awesome dédié aux logos d'outils/langages/frameworks,
+         utilisé pour le bandeau "Outils que je sais manipuler" de la page d'accueil -->
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/devicon@2.15.1/devicon.min.css">
 </head>
 <body>