diff options
Diffstat (limited to 'coverage/htmlfiles/style.css')
| -rw-r--r-- | coverage/htmlfiles/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 7f7880a9..ebd58dd3 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -124,6 +124,8 @@ h2.stats { margin-top: .5em; font-size: 1em; } #source { padding: 1em 0 1em 3rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; } +#source table { width: 100%; } + #source .p { position: relative; white-space: pre; } #source .p * { box-sizing: border-box; } @@ -202,8 +204,6 @@ h2.stats { margin-top: .5em; font-size: 1em; } @media (prefers-color-scheme: dark) { #source .p.par.show_par .t:hover { background: #6d5d0c; } } -#source .p .x { xxuser-select: none; } - #source .p .r { position: absolute; top: 0; right: 2.5em; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; } #source .p .annotate { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; color: #666; padding-right: .5em; user-select: none; } |