.jslogging {
  background-color: white;
  color: black;
  border: 1px solid black;
  padding: 2px;
  position: absolute;
  top: 10px;
  left: 10px;
  width: 800px;
  height: 100px;
  overflow: auto;
  z-index: 10000000;
  /*font-family: monospace;*/
  font-size: 7pt;
}