Added links in thmref; breaks styling

sahasatvik · Mar 30, 2023 · 3327810 · 3327810
1 parent 90a2ddd
commit 3327810
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/basic.pdf b/basic.pdf
diff --git a/manual.pdf b/manual.pdf
diff --git a/manual_examples.pdf b/manual_examples.pdf
diff --git a/theorems.typ b/theorems.typ
@@ -101,7 +101,7 @@
     assert(elements.len() == 1, message: "Label <" + str(label) + "> found at multiple locations: " + locationreps)
     let target = elements.first().location()
     let number = thmcounters.at(target).at("latest")
-    return fmt(number)
+    return link(target, fmt(number))
   })
 }