.databox {
  width:95%;
  margin-left:2.5%;
  height:26em;
  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; */
}

.right_float {
  float:right;
}

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