.xterm {
  padding: 12px;
}

#header .button {
  border-radius: 0;
}

.column {
  height: 100%;
}