Spaces:

StatAILab
/

StatProver

Running

Sausage5464 commited on Apr 22

Commit

8b2fbe1

verified ·

1 Parent(s): 899bd66

Update index.html

Files changed (1) hide show

index.html CHANGED Viewed

@@ -115,7 +115,11 @@
 <body>
     <div class="hero">
-        <img src="https://raw.githubusercontent.com/StatAI-Lab/StatProver_doc/main/figs/logo.png" alt="StatProver Logo" onerror="this.style.display='none'">
         <h1>StatProver</h1>

 <body>
     <div class="hero">
+        <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.0.0/css/all.min.css">
+        <div style="font-size: 80px; color: var(--primary); margin-bottom: 24px;">
+            <i class="fas fa-project-diagram"></i>
+        </div>
         <h1>StatProver</h1>