Improve library card performance and clean up display

- Add CSS contain: layout style to algo-cards to prevent cascading reflows
- Switch library KaTeX to inline mode (cheaper to reflow on resize)
- Remove "Equivalences" text from library cards

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: LaurentLessard

webapp/css/style.css

@@ -371,6 +371,7 @@ body {
   background: #fff;
   border-radius: 8px;
   padding: 1.25rem;
+  contain: layout style;
   border-left: 4px solid #4285f4;
   box-shadow: 0 2px 6px rgba(0, 0, 0, 0.06);
   cursor: pointer;

webapp/js/library-ui.js

@@ -192,7 +192,7 @@ function renderLibraryCards(data) {
       try {
         katex.render(compLatex, tfMath, {
           throwOnError: false,
-          displayMode: true,
+          displayMode: false,
         });
       } catch (e) {
         tfMath.textContent = compLatex;
@@ -205,26 +205,6 @@ function renderLibraryCards(data) {
       card.appendChild(tfDiv);
     }
 
-    // Known equivalences
-    const equivs = algo.equivalences || {};
-    const equivEntries = [];
-    if (equivs.oracle && equivs.oracle.length > 0) {
-      equivEntries.push('oracle: ' + equivs.oracle.join(', '));
-    }
-    if (equivs.shift && equivs.shift.length > 0) {
-      equivEntries.push('shift: ' + equivs.shift.join(', '));
-    }
-    if (equivs.lft && equivs.lft.length > 0) {
-      const lftNames = equivs.lft.map(e => (typeof e === 'object' ? e.id : e));
-      equivEntries.push('LFT: ' + lftNames.join(', '));
-    }
-    if (equivEntries.length > 0) {
-      const equivDiv = document.createElement('div');
-      equivDiv.style.cssText = 'margin-top:0.4rem;font-size:0.75rem;color:#888;';
-      equivDiv.textContent = 'Equivalences: ' + equivEntries.join('; ');
-      card.appendChild(equivDiv);
-    }
-
     grid.appendChild(card);
   }
 }