1  html {
 2    padding: 0em;
 3    border: 0em;
 4    margin: 0em;
 5    background: white;
 6  }
 7  
 8  details {
 9    margin-bottom: 0.5em;
10    padding-top: 0.5em;
11    padding-bottom: 0.5em;
12    padding-left: 2em;
13    border: 1px black solid;
14  }
15  
16  summary {
17  }
18  
19  .timestamp {
20    font-size: 80%;
21  }
22  
23  .duration {
24    font-size: 80%;
25  }
26  
27  .exact-timestamp, .time-offset {
28    font-family: monospace;
29  }
30  
31  .action-name {
32    font-family: monospace;
33  }
34  
35  .program-name, .program-versioni {
36    font-family: monospace;
37  }
38  
39  .program-arg {
40    font-family: monospace;
41  }
42  
43  pre {
44    background: white;
45    color: black;
46    padding: 1em;
47    border: 1px black dashed;
48  }
49  
50  .succeeded {
51    background: lightgreen;
52  }
53  
54  .failed {
55    background: pink;
56  }
57  
58  .argv {
59    font-family: monospace;
60    background: white;
61    color: black;
62    padding: 1em;
63    border: 1px black dashed;
64  }
65  
66  .project-name {
67    font-family: monospace;
68  }
69  
70  .prelude, .epilog {
71  }
72  
73  .pre-plan, .post-plan {
74  }
75  
76  .plan {
77  }
78  
79  .anchor {
80    text-decoration: none;
81    text-decoration-color: white;
82  }
83  
84  a:hover::before {
85    contents: "¶";
86  }