.databox {
  width:80%;
  margin-left:10%;
  height:24em;
  overflow:auto;
  padding:8px;
  border:1px solid black;
  background-color:white;
  font-family: monospace;
}

.checkbox {
  margin-left: 8px;
  margin-right: 8px;
  border:none;
}

.inputfield {
  padding:2px;
  font-family: monospace;
}

.match_highlight {
  background-color:#ffff80;
  font-weight:bold;
}

td {
  padding-left:8px;
  padding-right:8px;
}