1:host > details {
2 padding: 0.5em 1em;
3 background: #f2f2f2;
4 margin-bottom: 1.0em;
5 overflow-x: scroll;
6}
7:host > details.pending {
8 pointer-events: none;
9 background: #fafafa;
10 color: #666;
11}
12:host > details > div {
13 margin: 1em 2em;
14 overflow: scroll; /* we'll try to avoid overflow, but if it does happen, this makes sense */
15}
16.stats {
17 font-size: 1.2em;
18}
19details.section {
20 margin: 1.0em 0 0 0;
21}
22details.section > summary {
23 font-weight: bold;
24}
25details.section > :not(summary) {
26 margin-left: 2em;
27}
28:host > details.no-llvm .llvm-only {
29 display: none;
30}
31@media (prefers-color-scheme: dark) {
32 :host > details {
33 background: #222;
34 }
35 :host > details.pending {
36 background: #181818;
37 color: #888;
38 }
39}
40th {
41 max-width: 20em; /* don't let the 'file' column get crazy long */
42 overflow-wrap: anywhere; /* avoid overflow where possible */
43}