From 55658b261113245466c848fc6b3a2d65745b5246 Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Sun, 12 Apr 2026 10:02:44 +0200
Subject: [PATCH] website css fix attempt

---
 website/Main.lean | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/website/Main.lean b/website/Main.lean
index 308259f3..3384c31d 100644
--- a/website/Main.lean
+++ b/website/Main.lean
@@ -14,10 +14,10 @@ def theme : Theme := { Theme.default with
           <meta charset="utf-8"/>
           <meta name="viewport" content="width=device-width, initial-scale=1"/>
           <title>"Lean Machine Learning — Formalized ML Theory"</title>
-          <link rel="icon" type="image/svg+xml" href="/static/favicon.svg"/>
-          <link rel="stylesheet" href="/static/style.css"/>
-          <link rel="stylesheet" href= "/static/glightbox/css/glightbox.min.css"/>
-          <script src="/static/glightbox/js/glightbox.min.js"></script>
+          <link rel="icon" type="image/svg+xml" href="./static/favicon.svg"/>
+          <link rel="stylesheet" href="./static/style.css"/>
+          <link rel="stylesheet" href= "./static/glightbox/css/glightbox.min.css"/>
+          <script src="./static/glightbox/js/glightbox.min.js"></script>
           <script defer>
             r!"document.addEventListener('DOMContentLoaded', () => { const lightbox = GLightbox(); });"
           </script>
@@ -43,7 +43,7 @@ def theme : Theme := { Theme.default with
                   <a href="roadmap">"Roadmap"</a>
                   <a href="blueprint">"Blueprint"</a>
                   <a href="https://github.com/remydegenne/lean-bandits" aria-label="GitHub" target="_blank">
-                    <img src="/static/github.svg" alt="GitHub" width="22" height="22"/>
+                    <img src="./static/github.svg" alt="GitHub" width="22" height="22"/>
                   </a>
                 </div>
               </div>