Show id in feed names in markdown-usable way

If the feed name cannot be used as a @mention but must be a [@mention](@id),
show it that way, so it can be copy-pastable into new message text.

1 files changed, 13 insertions, 0 deletions

diff --git a/static/styles.css b/static/styles.css
index 9c64d48..e182ae5 100644
--- a/static/styles.css
+++ b/static/styles.css
@@ -120,6 +120,19 @@ pre {
   font-size: smaller;
 }
 
+.id-copyable-link {
+  text-decoration: none;
+}
+
+.id-deemphasize {
+  color: #67f;
+  font-size: smaller;
+}
+
+.id-name {
+  text-decoration: underline;
+}
+
 .msg-header {
   margin-bottom: .25ex;
 }