.terminal {
  float: left;
  font-family: monospace;
  color: white;
  background: black;
  border-radius: @border-radius-base;
  box-shadow: 0px 4px 11px 0px gray;
  padding: @code_padding;

  &, dummy-screen {
    line-height: 1em;
    font-size: @notebook_font_size;
  }
}

.terminal-cursor {
  color: black;
  background: white;
}

#terminado-container {
  padding-top: 20px;
}