.xterm {
  padding: 12px;
}

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