/* Top of page title */
.head {
 text-align: center;
 font-size: 48px;
 color: #990000;
}

/* Progress bar */
#myProgress {
  margin: auto;
  width: 85%;
  background-color: #ddd;
}

#myBar {
  width: 5%;
  height: 10px;
  background-color: #4CAF50;
  text-align: center;
  line-height: 10px;
  color: white;
  font-size: 12px;
}

body {
  font-size: 20px;
  padding-left: 30px;
  padding-right: 30px;
}

legend {
  font-weight: bold;
}

.warning {
  color: orange;
}

.error {
  color: red;
}

pre {
  font-size: 16px;
  background-color: lightgrey;
}