div#numberbox {
  position: relative;
  margin: 20px auto;
  padding: 10px;
  width: 90%;
  max-width: 600px;
  background-color: #fffaea;
  font-size: 15px;
  font-family: arial, helvetica, sans-serif;
  color: black;
}

div#numberbox a {
  text-decoration: none;
}

div#numberbox #headline {
  display: block;
  position: relative;
  margin: 10px auto;
  width: 80%;
}

div#numberbox h3 {
  text-align: center;
  font-size: 20px;
  margin-top: 0px;
}

div#numberbox > p {
  margin-top: 18px;
  margin-bottom: 18px;
  line-height: 1.3em;
  text-align: left;
}

div#input-div {
  position: relative;
  left: 50px;
  height: 70px;
}

div#input-div > input {
  display: block;
  position: absolute;
  left: 90px;
  top: 5px;
  width: 210px;
  height: 25px;
  font-family: arial, helvetica, sans-serif;
  font-size: 15pt;
  text-align: left;
}

div#input-div > label {
  display: block;
  position: absolute;
  left: 90px;
  top: 40px;
  text-align: left;
  font-size: 9pt;
}

button#go-button {
  position: absolute;
  left: 320px;
  top: 10px;
}

button#clear-button {
  position: absolute;
  left: 360px;
  top: 10px;
}

div#numberbox table  {
  border-collapse: collapse;
  border-spacing: 0;
  margin: 15px auto;
  width: 80%;
}

div#numberbox table td {
  font-size: 14px;
  padding: 10px 5px;
  border-color: #e0e0e0;
  border-style: solid;
  border-width: 1px;
  overflow: hidden;
  word-break:normal;
  height: 25px;
}

div#numberbox table td.property-marker {
  text-align: center;
  font-size: 20px;
  width: 50px;
}

p#timer {
  position: relative;
  top: 5px;
  left: 65px;
  font-size: 12px;
}

.green {
  color: green;
}

.red {
  color: crimson;
}

.gray {
  color: #c0c0c0;
}