Links to user pages from in-game role display.

2 files changed, 13 insertions, 1 deletions

diff --git a/public/common/play.css b/public/common/play.css
index 8fe084e..fd99175 100644
--- a/public/common/play.css
+++ b/public/common/play.css
@@ -326,6 +326,15 @@ header .viewpoint_button.selected:active:hover {
 	white-space: nowrap;
 }
 
+.role_user a {
+	text-decoration: none;
+	color: black;
+}
+
+.role_user a:hover {
+	text-decoration: underline;
+}
+
 .role_name::before {
 	content: "\25cb  ";
 	opacity: 0.6;
diff --git a/public/common/play.js b/public/common/play.js
index e34f42c..73566bd 100644
--- a/public/common/play.js
+++ b/public/common/play.js
@@ -381,7 +381,10 @@ function on_game_over() {
 function init_player_names(players) {
 	for (let i = 0; i < roles.length; ++i) {
 		let p = players.find(p => p.role === roles[i].role)
-		document.getElementById(roles[i].id).querySelector(".role_user").textContent = p ? p.name : "NONE"
+		if (p)
+			document.getElementById(roles[i].id).querySelector(".role_user").innerHTML = `<a href="/user/${p.name}" target="_blank">${p.name}</a>`
+		else
+			document.getElementById(roles[i].id).querySelector(".role_user").textContent = "NONE"
 	}
 }