Sauvegarde

2026-07-03 00:23:37 +02:00
parent b5bacf04a9
commit c2400d27b7
11 changed files with 278 additions and 42 deletions
@@ -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>