Fix logos

logic-star-ai · Dec 19, 2024 · 1065bee · 1065bee
1 parent 19e2d24
commit 1065bee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/index.html b/docs/index.html
@@ -147,7 +147,7 @@
        SWT-Bench is a project by <a href="https://logicstar.ai">LogicStar AI</a> and the <a href="https://www.sri.inf.ethz.ch/">Secure, Reliable, and Intelligent Systems Lab</a> at ETH Zürich.<br/>
        </p>
        <div class="container" style="margin-top: 0.5em;">
-        <div class="columns is-centered is-vcentered is-tablet"">
+        <div class="columns is-centered is-vcentered is-mobile"">
           <div class="column is-narrow" style="text-align: center;">
             <a href="https://logicstar.ai"><img src="./static/images/logo_logicstar_neg.png" class="institution-logo" style="height: 20px; "/></a>
           </div>