/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
.jp-TerminalWidget {
  background: red;
  padding: 0;
  margin: 0;
}


.jp-TerminalWidget-body {
  font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
}