diff options
| author | Kees Cook <keescook@google.com> | 2018-08-22 21:28:01 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-24 10:55:51 -0700 |
| commit | 9b0f5c758d7dad40a15368d6d71ea4b7be1948d1 (patch) | |
| tree | 33afa74f6197251d2331b9c37f4f6c5fa60c640a | |
| parent | 95b5c82b28c3107383df2cd38d9af8c7984bd31c (diff) | |
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.
| -rw-r--r-- | dashboard/app/main.html | 2 | ||||
| -rw-r--r-- | dashboard/app/static/style.css | 4 |
2 files changed, 5 insertions, 1 deletions
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; |