feat: make it clearer what the repo name is

2026-10-18 19:30:29 +08:00 · 2026-08-26 11:12:23 +03:00
parent 6bc3a5682e
commit 0d9a101542
2 changed files with 13 additions and 5 deletions
@@ -384,11 +384,15 @@ impl PageData {
        );

        doc.push(
-            Element::new(Tag::P).with_text("Repository ID ").with_child(
-                Element::new(Tag::Code)
-                    .with_class("repoid")
-                    .with_text(rid.to_string()),
-            ),
+            Element::new(Tag::P)
+                .with_text("Repository ")
+                .with_child(Element::code().with_class("repo-name").with_text(name))
+                .with_text(" ")
+                .with_child(
+                    Element::code()
+                        .with_class("repoid")
+                        .with_text(rid.to_string()),
+                ),
        );
        doc.push(Element::new(Tag::P).with_text(format!("This page last updated: {timestamp}")));

@@ -46,6 +46,10 @@ code.repoid, span.repoid {
    font-weight: bold;
 }

+code.repo-name {
+    font-weight: bold;
+}
+
 span.broker-run-id {
    font-style: monospace;
    font-size: 80%;