:root {
    color-scheme: light dark;
}
div.scrolldiv {
  border: solid 1px #000000;
  background: light-dark(#ffffff,#202020);
  color: #000000;
  padding: 4px;
  overflow: auto;
  font-family: monospace;
  text-align: left;
  margin-left:1%;
  width:95%;
}

div.debugdiv {
  border: solid 1px #000000;
  background: light-dark(#ffffff,#202020);
  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:light-dark(#c0e0ff,#202020);
}

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

div.compbutton {
  background-color:  light-dark(#ccffcc,#108010);
  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;
  color: light-dark(#000000,#ffffff);
}

.row0 {
  background:light-dark(#ffffff,#000000);
  color: light-dark(#000000,#ffffff);
}

.row1 {
  background:light-dark(#e0e0e0,#404040);
  color: light-dark(#000000,#ffffff);
}