html {
}

body {
}

pre {
  color: rgb(230, 230, 230);
  background-color: rgb(15, 15, 15);
  padding: 0.5em 1em;
  box-shadow: inset -2px -2px 2px 2px rgba(237, 237, 82, 0.75);
}

label {
  font-family: mono;
  font-style: italic;
}

.success {
  color: var(--success);
  background-color: var(--bg-success);
}

.attention {
  color: var(--attention);
  background-color: var(--bg-attention);
}

.severe {
  color: var(--severe);
  background-color: var(--bg-severe);
}

.danger {
  color: var(--danger);
  background-color: var(--bg-danger);
}