editors.css 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /* Values inspired by http://phosphorjs.github.io/examples/tabs/ */
  6. .jp-DebuggerEditors .p-TabBar {
  7. min-height: 24px;
  8. max-height: 24px;
  9. }
  10. .jp-DebuggerEditors .p-TabBar-content {
  11. min-width: 0;
  12. min-height: 0;
  13. align-items: flex-end;
  14. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  15. }
  16. .jp-DebuggerEditors .p-TabBar-tab {
  17. background: var(--jp-layout-color2);
  18. color: var(--jp-ui-font-color1);
  19. padding: 0px 10px;
  20. border: var(--jp-border-width) solid var(--jp-border-color1);
  21. border-bottom: none;
  22. font: 12px Helvetica, Arial, sans-serif;
  23. flex: 0 1 125px;
  24. min-height: 24px;
  25. max-height: 24px;
  26. min-width: 35px;
  27. margin-left: -1px;
  28. line-height: 24px;
  29. }
  30. .jp-DebuggerEditors .p-TabBar-tab:first-child {
  31. margin-left: 0;
  32. }
  33. .jp-DebuggerEditors .p-TabBar-tab.p-mod-current {
  34. min-height: 24px;
  35. max-height: 24px;
  36. background: var(--jp-layout-color1);
  37. color: var(--jp-ui-font-color1);
  38. }
  39. .jp-DebuggerEditors .p-TabBar-tab:hover:not(.p-mod-current) {
  40. background: var(--jp-layout-color1);
  41. }
  42. .jp-DebuggerEditors .p-TabBar-tabIcon,
  43. .jp-DebuggerEditors .p-TabBar-tabText,
  44. .jp-DebuggerEditors .p-TabBar-tabCloseIcon {
  45. line-height: 24px;
  46. }
  47. .jp-DebuggerEditors .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  48. margin-left: 4px;
  49. padding-top: 8px;
  50. background-size: 16px;
  51. height: 16px;
  52. width: 16px;
  53. background-image: var(--jp-icon-close);
  54. background-position: center;
  55. background-repeat: no-repeat;
  56. }
  57. .jp-DebuggerEditors
  58. .p-TabBar-tab.p-mod-closable
  59. > .p-TabBar-tabCloseIcon:hover {
  60. background-size: 16px;
  61. background-image: var(--jp-icon-close-circle);
  62. }