html {
  padding: 0em;
  border: 0em;
  margin: 0em;
}
details {
  margin-bottom: 0.5em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  padding-left: 2em;
  border: 1px black solid;
}

summary {
}

.timestamp {
  font-size: 80%;
}
.duration {
  font-size: 80%;
}
.exact-timestamp, .time-offset {
  font-family: monospace;
  background: lightgrey;
}

.action-name {
  font-family: monospace;
  background: lightgrey;
}

.program-name, .program-versioni {
  font-family: monospace;
  background: lightgrey;
}

.program-arg {
  background: lightgrey;
  font-family: monospace;
}

pre {
  background: lightgrey;
  border: 1px black dashed;
  padding-left: 0.5em;
}

.succeeded {
  background: lightgreen;
}

.failed {
  background: pink;
}

.args {
  font-family: monospace;
}

.project-name {
  font-family: monospace;
}
