index.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. @import url('~xterm/src/xterm.css');
  6. :root {
  7. --jp-private-terminal-lightCursor-color: var(--md-grey-700);
  8. }
  9. .jp-Terminal {
  10. min-width: 240px;
  11. min-height: 120px;
  12. padding: 8px;
  13. margin: 0;
  14. }
  15. .jp-Terminal-body {
  16. font-family: var(--jp-code-font-family);
  17. outline: none;
  18. user-select: text;
  19. -webkit-user-select: text;
  20. }
  21. .terminal {
  22. font-family: var(--jp-code-font-family);
  23. }
  24. .terminal .xterm-viewport {
  25. overflow-y: auto;
  26. }
  27. .jp-Terminal-dark {
  28. background: black;
  29. color: white;
  30. }
  31. /**
  32. * xterm.js ships with the dark theme. Here we add the somewhat subtle styles to get a light theme.
  33. * This approach is taken directly from the xterm.js css and modified for our light theme.
  34. */
  35. .jp-Terminal-light {
  36. background: white;
  37. color: black;
  38. }
  39. .jp-Terminal-light .terminal {
  40. background: white;
  41. color: black;
  42. }
  43. .jp-Terminal-light .terminal.focus:not(.xterm-cursor-style-underline):not(.xterm-cursor-style-bar) .terminal-cursor {
  44. background-color: var(--jp-private-terminal-lightCursor-color);
  45. color: white;
  46. }
  47. .jp-Terminal-light .terminal:not(.focus) .terminal-cursor {
  48. outline: 1px solid var(--jp-private-terminal-lightCursor-color);
  49. }
  50. .jp-Terminal-light .terminal:not(.xterm-cursor-style-underline):not(.xterm-cursor-style-bar).focus.xterm-cursor-blink-on .terminal-cursor {
  51. background-color: transparent;
  52. color: inherit;
  53. }
  54. .jp-Terminal-light .terminal.xterm-cursor-style-bar .terminal-cursor::before,
  55. .jp-Terminal-light .terminal.xterm-cursor-style-underline .terminal-cursor::before {
  56. background-color: var(--jp-private-terminal-lightCursor-color);
  57. }
  58. .jp-Terminal-light .terminal.xterm-cursor-style-bar.focus.xterm-cursor-blink .terminal-cursor::before,
  59. .jp-Terminal-light .terminal.xterm-cursor-style-underline.focus.xterm-cursor-blink .terminal-cursor::before {
  60. background-color: var(--jp-private-terminal-lightCursor-color);
  61. }
  62. .jp-Terminal-light .terminal .composition-view {
  63. background: white;
  64. color: black;
  65. }
  66. .jp-Terminal-light .terminal .xterm-viewport {
  67. background-color: white;
  68. }