body {
  background-color: lightgray;
  width: 99%;
}
textarea {
  resize: none;
  width: 99%;
  height: 500px;
}
hr {
  width: 95%;
}
button {
  font: 14px arial, serif;
}
.ent {
  font: 14px courier;
 }
div.mid {
  height: 30px;
  padding: 5px 30px 5px;
}
div.low {
  height: 20px;
  padding: 2px
}
.title {
  font: 45px times new roman, serif, bold;
  border: 1px dotted black;
  text-align: center;
  height: 65px;
}
span.alp {
  font: 20px times new roman, serif, bold;
}
span.pat {
  font: 20px times new roman, serif, bold;
}
.bx {
  font: 14px arial, bold;
  color: black;
  text-align: center;
}
.disp {
  font: 16px arial, bold;
  color: blue;
}