
.log-window {
  border-top: 1px solid #d4d4d4;
  overflow: auto;
}

.log-window-inner * {
  font-family: "DroidSansMonoRegular", monospace;
  line-height: 13px;
}

.log-panel {
  position: static;
  height: 100%;
  width: 100%;
  overflow: auto;
  border: none;
  padding: 3px;
}

.log-panel-inner * {
  font-family: "DroidSansMonoRegular", monospace;
  line-height: 13px;
}

