.terminal {
  background-color:black;
  color:white;
  padding:8px;
  font-family:monospace;
}

.address-bar {
  background-color:white;
  border:1px solid gray;
  color:black;
  padding:8px;
  font-family:monospace;
}

.ps1a {
  color:#00c000;
}

.ps1b {
  color:#0080ff;
}

.tight_layout td {
  padding:0px;
  vertical-align:top;
}