From 9b0f5c758d7dad40a15368d6d71ea4b7be1948d1 Mon Sep 17 00:00:00 2001
From: Kees Cook <keescook@google.com>
Date: Wed, 22 Aug 2018 21:28:01 -0700
Subject: dashboard/app: Add anchor links for BugNamespaces

To make it possible to provide URLs that jump to a specific BugNamespace,
this adds clickable anchors for each of the BugNamespaces without changing
the current appearance of the h2 tag.
---
 dashboard/app/main.html        | 2 +-
 dashboard/app/static/style.css | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/dashboard/app/main.html b/dashboard/app/main.html
index d522444eb..8a7a21813 100644
--- a/dashboard/app/main.html
+++ b/dashboard/app/main.html
@@ -111,7 +111,7 @@ Main page.
 
 	{{range $ns := $.BugNamespaces}}
 		<br>
-		<h2 id="{{$ns.Name}}">{{$ns.Caption}}</h2>
+		<a class="plain" href="#{{$ns.Name}}"><h2 id="{{$ns.Name}}">{{$ns.Caption}}</h2></a>
 		{{if $ns.FixedLink}}
 			{{if $ns.CoverLink}}
 				<a href="{{$ns.CoverLink}}" target="_blank">source coverage</a> |
diff --git a/dashboard/app/static/style.css b/dashboard/app/static/style.css
index 2ebe32aad..672903ff3 100644
--- a/dashboard/app/static/style.css
+++ b/dashboard/app/static/style.css
@@ -127,6 +127,10 @@ table td, table th {
 	font-weight: bold;
 }
 
+.plain {
+	text-decoration: none;
+}
+
 textarea {
 	width:100%;
 	font-family: monospace;
-- 
cgit mrf-deployment