From 9db10289ccc8555f477b9563b6e575f0f10a3eee Mon Sep 17 00:00:00 2001
From: Ethan Dalool <git@voussoir.net>
Date: Thu, 27 Oct 2022 20:54:03 -0700
Subject: [PATCH] Use code tag for userid.

---
 frontends/etiquette_flask/templates/user.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/etiquette_flask/templates/user.html b/frontends/etiquette_flask/templates/user.html
index 2f5ea45..a72fab6 100644
--- a/frontends/etiquette_flask/templates/user.html
+++ b/frontends/etiquette_flask/templates/user.html
@@ -31,7 +31,7 @@
     <div id="content_body">
         <div id="hierarchy_self" class="panel">
             <h1 id="display_name">{{user.display_name}}</h1>
-            <p>ID: <a href="/userid/{{user.id}}">{{user.id}}</a></p>
+            <p>ID: <a href="/userid/{{user.id}}"><code>{{user.id}}</code></a></p>
             <p>User since <span title="{{user.created|timestamp_to_8601}}">{{user.created|timestamp_to_naturaldate}}.</span></p>
         </div>