restore two-column layout

Author: StevenClontz

packages/viewer/src/components/Traits/Proof.svelte

@@ -11,30 +11,34 @@
 </script>
 
 Automatically deduced from the following:
-<div style="margin:1em 0">
-  <h5>Properties</h5>
-  <table class="table">
-    <thead>
-      <tr>
-        <th>Property</th>
-        <th>Value</th>
-      </tr>
-    </thead>
-    <tbody>
-      {#each traits as [property, trait] (property.id)}
+<div class="row">
+  <div class="col">
+    <h5>Properties</h5>
+    <table class="table">
+      <thead>
         <tr>
-          <td>
-            <Link.Property {property} />
-          </td>
-          <td>
-            <Link.Trait {space} {property}>
-              <ValueIcon value={trait.value} />
-            </Link.Trait>
-          </td>
+          <th>Property</th>
+          <th>Value</th>
         </tr>
-      {/each}
-    </tbody>
-  </table>
-  <h5>Theorems</h5>
-  <Theorems {theorems} {emphasizedProperties} />
+      </thead>
+      <tbody>
+        {#each traits as [property, trait] (property.id)}
+          <tr>
+            <td>
+              <Link.Property {property} />
+            </td>
+            <td>
+              <Link.Trait {space} {property}>
+                <ValueIcon value={trait.value} />
+              </Link.Trait>
+            </td>
+          </tr>
+        {/each}
+      </tbody>
+    </table>
+  </div>
+  <div class="col">
+    <h5>Theorems</h5>
+    <Theorems {theorems} {emphasizedProperties} />
+  </div>
 </div>