diff options
Diffstat (limited to 'src/main/resources/static')
| -rw-r--r-- | src/main/resources/static/style.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/main/resources/static/style.css b/src/main/resources/static/style.css index c6a8c33..b6713d2 100644 --- a/src/main/resources/static/style.css +++ b/src/main/resources/static/style.css @@ -697,4 +697,14 @@ a.reload { .no-token { padding: 1em; background: var(--bg-red-op); +} + +.issue-message { + font-family: monospace; + font-weight: bolder; +} + +.issue-path { + font-family: monospace; + line-height: 1rem; }
\ No newline at end of file |