base.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
  1. /*-----------------------------------------------------------------------------
  2. | Variables
  3. |----------------------------------------------------------------------------*/
  4. :root {
  5. --jp-private-running-button-height: 28px;
  6. --jp-private-running-button-width: 48px;
  7. --jp-private-running-item-height: 24px;
  8. --jp-private-running-shutdown-button-height: 24px;
  9. }
  10. /*-----------------------------------------------------------------------------
  11. | Copyright (c) Jupyter Development Team.
  12. | Distributed under the terms of the Modified BSD License.
  13. |----------------------------------------------------------------------------*/
  14. .jp-RunningSessions {
  15. display: flex;
  16. flex-direction: column;
  17. min-width: var(--jp-sidebar-min-width);
  18. color: var(--jp-ui-font-color1);
  19. background: var(--jp-layout-color1);
  20. /* This is needed so that all font sizing of children done in ems is
  21. * relative to this base size */
  22. font-size: var(--jp-ui-font-size1);
  23. }
  24. .jp-RunningSessions-header {
  25. flex: 0 0 auto;
  26. display: flex;
  27. flex-direction: row;
  28. justify-content: flex-end;
  29. }
  30. .jp-RunningSessions-section {
  31. display: flex;
  32. flex: 0 1 auto;
  33. flex-direction: column;
  34. overflow: auto;
  35. }
  36. .jp-RunningSessions-sectionHeader {
  37. flex: 0 0 auto;
  38. align-items: center;
  39. justify-content: space-between;
  40. height: 28px;
  41. display: flex;
  42. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  43. margin-top: 8px;
  44. }
  45. .jp-RunningSessions-sectionHeader h2 {
  46. flex: 0 0 auto;
  47. font-weight: 600;
  48. text-transform: uppercase;
  49. letter-spacing: 1px;
  50. font-size: var(--jp-ui-font-size0);
  51. padding: 8px 8px 8px 12px;
  52. margin: 0px;
  53. }
  54. .jp-RunningSessions-sectionHeader .jp-ToolbarButtonComponent {
  55. flex: 0 0 auto;
  56. }
  57. .jp-RunningSessions-sectionContainer {
  58. flex: 1 1 auto;
  59. margin: 0;
  60. padding: 0;
  61. overflow: auto;
  62. }
  63. .jp-RunningSessions-sectionList {
  64. margin: 0;
  65. padding: 0;
  66. list-style-type: none;
  67. }
  68. .jp-RunningSessions-item {
  69. display: flex;
  70. flex-direction: row;
  71. color: var(--jp-ui-font-color1);
  72. height: var(--jp-private-running-item-height);
  73. line-height: var(--jp-private-running-item-height);
  74. }
  75. .jp-RunningSessions-itemLabel {
  76. font-size: var(--jp-ui-font-size1);
  77. flex: 1 1 auto;
  78. margin-right: 4px;
  79. padding-left: 4px;
  80. text-overflow: ellipsis;
  81. overflow: hidden;
  82. white-space: nowrap;
  83. border-radius: 2px;
  84. transition: background-color 0.1s ease;
  85. }
  86. .jp-RunningSessions-itemLabel:hover {
  87. background-color: var(--jp-layout-color2);
  88. }
  89. .jp-RunningSessions-itemLabel:focus {
  90. background-color: rgba(153, 153, 153, 0.2);
  91. }
  92. .jp-RunningSessions-itemShutdown.jp-mod-styled {
  93. margin: 0px 4px;
  94. color: var(--jp-warn-color1);
  95. font-weight: 500;
  96. background-color: transparent;
  97. height: var(--jp-private-running-shutdown-button-height);
  98. line-height: var(--jp-private-running-shutdown-button-height);
  99. transition: background-color 0.1s ease;
  100. border-radius: 2px;
  101. }
  102. .jp-RunningSessions-itemShutdown.jp-mod-styled:hover {
  103. background-color: rgba(153, 153, 153, 0.1);
  104. }
  105. .jp-RunningSessions-itemShutdown.jp-mod-styled:focus {
  106. border: none;
  107. box-shadow: none;
  108. background-color: rgba(153, 153, 153, 0.2);
  109. }