/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/

@import url('~xterm/src/xterm.css');


.jp-TerminalWidget {
  min-width: 200px;
  min-height: 200px;
  padding: 8px;
  margin: 0;
}


.jp-TerminalWidget-body {
 font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
  outline: none;
  user-select: text;
  -webkit-user-select: text;
}


.terminal {
  font-family: monospace;
}


.terminal .xterm-viewport {
  overflow-y: auto;
}

/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/

@import url('~xterm/src/xterm.css');


.jp-TerminalWidget {
  min-width: 200px;
  min-height: 200px;
  padding: 8px;
  margin: 0;
}


.jp-TerminalWidget-body {
  font-family: monospace;
  outline: none;
  user-select: text;
  -webkit-user-select: text;
}


.terminal {
  font-family: monospace;
}


.terminal .xterm-viewport {
  overflow-y: auto;
}

Fix handling of monospace font in terminal
Fix handling of monospace font in terminal
