diff --git a/packages/viewer/src/components/Properties/Theorems.svelte b/packages/viewer/src/components/Properties/Theorems.svelte
index 9fd1a7c6..0071be18 100644
--- a/packages/viewer/src/components/Properties/Theorems.svelte
+++ b/packages/viewer/src/components/Properties/Theorems.svelte
@@ -10,4 +10,4 @@
   $: related = $theorems.forProperty(property)
 </script>
 
-<Theorems theorems={related} />
+<Theorems theorems={related} emphasizedProperties={new Set([property])} />
diff --git a/packages/viewer/src/components/Theorems/Converse.svelte b/packages/viewer/src/components/Theorems/Converse.svelte
index c807c6e4..8f346d39 100644
--- a/packages/viewer/src/components/Theorems/Converse.svelte
+++ b/packages/viewer/src/components/Theorems/Converse.svelte
@@ -28,7 +28,10 @@
     is tautologicially true
   {:else if proof}
     follows from these theorems:
-    <Theorems theorems={proof} />
+    <Theorems
+      theorems={proof}
+      emphasizedProperties={new Set(theorem.properties)}
+    />
   {:else}
     cannot be proven from other theorems or disproven from a counterexample.
   {/if}
diff --git a/packages/viewer/src/components/Traits/Proof.svelte b/packages/viewer/src/components/Traits/Proof.svelte
index 55a16a86..e564788f 100644
--- a/packages/viewer/src/components/Traits/Proof.svelte
+++ b/packages/viewer/src/components/Traits/Proof.svelte
@@ -7,37 +7,34 @@
   export let space: Space
   export let theorems: Theorem[]
   export let traits: [Property, Trait][]
+  $: emphasizedProperties = new Set(traits.map(([p, _]) => p))
 </script>
 
 Automatically deduced from the following:
-<div class="row">
-  <div class="col">
-    <h5>Properties</h5>
-    <table class="table">
-      <thead>
+<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)}
         <tr>
-          <th>Property</th>
-          <th>Value</th>
+          <td>
+            <Link.Property {property} />
+          </td>
+          <td>
+            <Link.Trait {space} {property}>
+              <ValueIcon value={trait.value} />
+            </Link.Trait>
+          </td>
         </tr>
-      </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} />
-  </div>
+      {/each}
+    </tbody>
+  </table>
+  <h5>Theorems</h5>
+  <Theorems {theorems} {emphasizedProperties} />
 </div>