.navbar-brand {
  font-size: xx-large;
}

.box > * {
  padding: 10px;
  margin: 10px;
  border-radius: 5px;
  background-color: #97AA28;
}

.box {
  display: flex;
  flex-wrap: wrap;
}

.code {
  text-align: left;
  font-family: monospace;
}

.machine-title {
  font-size: large;
  font-weight: bold;
}

.device-status {
  font-size: 2rem;
}

.machine-status {
  font-weight: bold;
}

.machine-status.available {
  color: #555;
}

.machine-status.unlocked {
  color: #b8860b;
}

.machine-status.running {
  color: #2e7d32;
}