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


div.debugdiv {
  border: solid 1px #D3C5AF;
  background: #ffffff;
  color: #000000;
  padding: 1px;
  height: 500px;

  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;
}


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


.row0 {
  background:#ffffff;
}


.row1 {
  background:#f0f0f0;
}