div.scrolldiv {
  border: solid 1px #000000;
  background: #ffffff;
  color: #000000;
  padding: 4px;
  overflow: auto;
  font-family: monospace;
  text-align: left;
  margin-left:1%;
  width:95%;
}

div.debugdiv {
  border: solid 1px #000000;
  background: #ffffff;
  color: #000000;
  padding: 4px;
  height: 500px;
  overflow: auto;
  font-family:monospace;
}

td.selector {
  cursor: hand;
  cursor: pointer;
  font-family:monospace;
  width:100%;
  white-space:pre;
}

td.selector:hover {
  background-color:#c0e0ff;
}

div.categorybutton {
  height: 1.5em;
  background-color: #ccccff;
  border: 1px solid #000000;
  padding-left: 0.25em;
  padding-right: 0.25em;
  text-align: center;
  cursor: hand;
  cursor: pointer;
}

div.compbutton {
  background-color: #ccffcc;
  height: 1.5em;
  border: 1px solid #000000;
  padding: 2px;
  text-align: center;
  cursor: hand;
  cursor: pointer;
  display:inline;
  vertical-align:middle;
}

.inputval {
  padding: 2px;
  padding-right: 4px;
  text-align: right;
  vertical-align:middle;
}

.row0 {
  background:#ffffff;
}

.row1 {
  background:#f0f0f0;
}