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;
}

.repo-id {
  font-family: monospace;
}

.run-id {
  font-family: monospace;
}

.commit-id-prefix {
  font-weight: bold;
  font-family: monospace;
}

.commit-id-rest{
  font-family: monospace;
}

.commit-id-unknown {
  color: red;
}

.result-success {
  color: blue;
}

.result-failure {
  color: red;
}

.result-unknown {
  color: yellow;
}
