From eb6b3004b778760c34eecca85305186613d82a00 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mateus=20Cez=C3=A1rio=20Barreto?=
 <mateus.cezario.barreto@gmail.com>
Date: Wed, 12 Nov 2025 15:14:57 -0300
Subject: [PATCH] First commit

---
 main.js | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 main.js

diff --git a/main.js b/main.js
new file mode 100644
index 0000000..ea2e429
--- /dev/null
+++ b/main.js
@@ -0,0 +1,42 @@
+window.MathJax = {
+	loader: {load: ['input/asciimath', 'output/chtml']},
+	chtml: { display: true }
+};
+
+document.addEventListener('DOMContentLoaded', main)
+
+function main ()
+{
+	const internalReferenceables = document.querySelectorAll("div[id]");
+
+	const anchors = document.querySelectorAll("a");
+
+	for (const anchor of anchors)
+	{
+		const href = anchor.getAttribute("href");
+
+		if ( href.startsWith("#") )
+		{
+			let id = href.slice(1);
+
+			let found_referenced = false;
+			let referenceable = null;
+			let referenceable_index = 0;
+
+			while (referenceable_index < internalReferenceables.length && !found_referenced)
+			{
+				referenceable = internalReferenceables[referenceable_index];
+				if (referenceable.id == id)
+				{
+					found_referenced = true;
+					console.log(referenceable)
+					referenceable.setAttribute("name", `Proposição ${referenceable_index}`);
+
+					anchor.textContent = `Proposição ${referenceable_index} (${id})`;
+				}
+
+				referenceable_index++;
+			}
+		}
+	}
+}
\ No newline at end of file