1 files changed, 20 insertions, 1 deletions

diff --git a/play.js b/play.js
index e7a684d..5b75f51 100644
--- a/play.js
+++ b/play.js
@@ -17,13 +17,32 @@ let ui = {
 	cu: [],
 }
 
+function on_focus_card_tip(card_number) {
+	document.getElementById("tooltip").className = "card show card_" + card_number
+}
+
+function on_blur_card_tip() {
+	document.getElementById("tooltip").classList = "card"
+}
+
+function on_focus_last_card() {
+	if (typeof view.last_card === 'number') {
+		document.getElementById("tooltip").className = "card show card_" + view.last_card
+	}
+}
+
+function on_blur_last_card() {
+	document.getElementById("tooltip").classList = "card"
+}
+
 function on_log(text) {
 	let p = document.createElement("div")
 	text = text.replace(/&/g, "&")
 	text = text.replace(/</g, "&lt;")
 	text = text.replace(/>/g, "&gt;")
 
-	text = text.replace(/\[(\d+)([^\]]*)\]/, '<span class="card_tip" data-card="$1">$1$2</span>')
+	text = text.replace(/#(\d+)/g,
+		'<span class="tip" onmouseenter="on_focus_card_tip($1)" onmouseleave="on_blur_card_tip()">$&</span>')
 
 	if (text.match(/^\.h1 /)) {
 		p.className = "h1"