.good {
  color: green;
}

.bad {
  color: #cf0000;
}

.unknown {
  color: #ffa405;
}

.header {
  background-color: #f6f9fc;
}

.active-builds {
  margin-block-start: 4px;
  margin-block-end: 4px;
  margin-inline-start: 8px;
  margin-inline-end: 8px;
}

.diffoscope-link {
  margin-inline-start: 2px;
}

html {
  height: 100%;
}

body {
  min-height: 100%;
  display: grid;
  grid-template-rows: 1fr auto;
}

section.section {
  --bulma-section-padding: 1rem 0.5rem;
}