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}