bad idea

leanprover-community · Aug 1, 2024 · 3492a8a · 3492a8a
1 parent dfb3435
commit 3492a8a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -4,7 +4,6 @@
     <meta charset="UTF-8" />
     <title>Lean 4 Web</title>
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
-    <link rel="stylesheet" href="client/src/index.css">
   </head>
   <body>
     <div id="root">