From 306bf0da379e0b965960348b9099f6ca291f6fad Mon Sep 17 00:00:00 2001
From: Moon Flower <mforoud86@gmail.com>
Date: Wed, 31 Dec 2025 08:40:20 +0330
Subject: fix

---
 index.html  | 2 ++
 styles.css  | 7 +++++--
 styles3.css | 7 +++++--
 tempo.md    | 6 +++++-
 4 files changed, 17 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index 73a47ab..350f379 100644
--- a/index.html
+++ b/index.html
@@ -352,6 +352,8 @@
                 const msg = `undefined symbols detected:\n${missing.map(s => `  • (${symbols[s]}) ${s}`).join('\n')}`
                 warnings.innerHTML += msg.replace(/\n/g, '<br>')
                 console.warn('undefined symbols:', missing)
+            } else {
+                warnings.style.display = 'none'
             }
         }
 
diff --git a/styles.css b/styles.css
index ba30830..c150343 100644
--- a/styles.css
+++ b/styles.css
@@ -249,7 +249,10 @@ body.dark-mode .timestamp-badge {
 #warnings {
 	display: block;
 	position: fixed;
-	bottom: 30px;
-	left: 30px;
+	bottom: 20px;
+	left: 20px;
 	color: red;
+	background: var(--code-bg);
+	border: 2px solid var(--code-bg-faint);
+	padding: 5px 10px;
 }
\ No newline at end of file
diff --git a/styles3.css b/styles3.css
index ba30830..c150343 100644
--- a/styles3.css
+++ b/styles3.css
@@ -249,7 +249,10 @@ body.dark-mode .timestamp-badge {
 #warnings {
 	display: block;
 	position: fixed;
-	bottom: 30px;
-	left: 30px;
+	bottom: 20px;
+	left: 20px;
 	color: red;
+	background: var(--code-bg);
+	border: 2px solid var(--code-bg-faint);
+	padding: 5px 10px;
 }
\ No newline at end of file
diff --git a/tempo.md b/tempo.md
index 53283cf..c3dbbd7 100644
--- a/tempo.md
+++ b/tempo.md
@@ -229,9 +229,13 @@ def \energy\ `A=. \energy\+A > @A`
 ^^ energy:
 perhaps the first axiom to be defined declaratively. an axiom when, which applied to an object, causes it to change.
 
+def \almost\ `[x y] A=.\prop\x B=.\prop\y A=B x\neq\y` (C \almost\ D)
+^^ weak equality:
+shows that all properties of two objects are true, but they are not completely equal.
+
 def \matter\ `A=. A\neq\0 \static\\id\A A\almost\\energy\`
 ^^ matter:
-**universe dependent**, existence which has a persistent identity, is weakly equal to energy, and 
+**universe dependent**. existence which has a persistent identity and is weakly equal to energy.
 
 ## update log
 
-- 
cgit v1.2.3