diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-05-20 17:54:33 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-05-20 20:06:53 +0200 |
| commit | 7268fa62257981feeebc89e55b5ce45294beff8c (patch) | |
| tree | b408bea6cdbbd10669c990762595657f9893a7ee /pkg/html/generated.go | |
| parent | f94bdf2730bcf53b45244e98aedb1a7a7711d49f (diff) | |
dashboard/app: linkify source files in sample reports
Fixes #652
Diffstat (limited to 'pkg/html/generated.go')
| -rw-r--r-- | pkg/html/generated.go | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkg/html/generated.go b/pkg/html/generated.go index c5e6f31ad..fed290590 100644 --- a/pkg/html/generated.go +++ b/pkg/html/generated.go @@ -284,6 +284,10 @@ aside { background: transparent; } +#crash_div pre { + margin: 1px; +} + .input-values { margin-left: 7px; margin-bottom: 7px; |