#jsToolsDebugOutput {
  position: absolute;
  width: 300px;
  height: 300px;
  right: 10px;
  top: 10px;
  overflow: auto;
  zIndex: 300;
  fontSize: x-small;
  fontFamily: courier;
  background-color: #DDD;
  padding: 5px;
}

.translucent {
  filter:alpha(opacity=50);
  opacity: 0.5;
  -moz-opacity:0.5;
}