lint

pi-base · Dec 8, 2023 · 18c03e1 · 18c03e1
1 parent 0cd005d
commit 18c03e1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/packages/viewer/src/components/Shared/Link/Theorem.svelte b/packages/viewer/src/components/Shared/Link/Theorem.svelte
@@ -8,4 +8,4 @@
  <slot>
  T{theorem.id}
  </slot>
-</a>
+</a>
diff --git a/packages/viewer/src/components/Spaces/Properties.svelte b/packages/viewer/src/components/Spaces/Properties.svelte
@@ -11,7 +11,9 @@
 </script>
 
 <Related mode="properties" {related}>
- <Link.Property slot="id" let:property {property}>P{property.id}</Link.Property>
+ <Link.Property slot="id" let:property {property}>
+ P{property.id}
+ </Link.Property>
 
  <Link.Property slot="name" let:property {property} />
 </Related>