base.css 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157
  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. padding: 0 8px 0 8px;
  75. }
  76. .jp-RunningSessions-item:hover {
  77. background-color: var(--jp-layout-color2);
  78. }
  79. .jp-RunningSessions-itemLabel {
  80. font-size: var(--jp-ui-font-size1);
  81. flex: 1 1 55%;
  82. padding: 0 4px 0 4px;
  83. text-overflow: ellipsis;
  84. overflow: hidden;
  85. white-space: nowrap;
  86. }
  87. .jp-RunningSessions-itemLabel:focus {
  88. background-color: var(--jp-layout-color2);
  89. }
  90. .jp-RunningSessions-itemDetail {
  91. font-size: var(--jp-ui-font-size1);
  92. flex: 1 1 45%;
  93. padding: 0 4px 0 4px;
  94. text-overflow: ellipsis;
  95. overflow: hidden;
  96. white-space: nowrap;
  97. }
  98. .jp-RunningSessions-item .jp-RunningSessions-itemShutdown {
  99. border-radius: 0px;
  100. }
  101. .jp-RunningSessions-item:not(:hover) .jp-RunningSessions-itemShutdown {
  102. visibility: hidden;
  103. /* display: none; */
  104. }
  105. .jp-RunningSessions-sectionList
  106. .jp-RunningSessions-item
  107. .jp-Button.jp-RunningSessions-itemShutdown:hover {
  108. background: var(--jp-layout-color3);
  109. }
  110. .jp-RunningSessions-shutdownAll.jp-mod-styled {
  111. margin: 0px 8px;
  112. color: var(--jp-warn-color1);
  113. background-color: transparent;
  114. height: var(--jp-private-running-shutdown-button-height);
  115. line-height: var(--jp-private-running-shutdown-button-height);
  116. border-radius: 2px;
  117. overflow: hidden;
  118. white-space: nowrap;
  119. text-overflow: ellipsis;
  120. }
  121. .jp-RunningSessions-shutdownAll.jp-mod-styled:hover {
  122. background-color: var(--jp-layout-color2);
  123. }
  124. .jp-RunningSessions-shutdownAll.jp-mod-styled:focus {
  125. border: none;
  126. box-shadow: none;
  127. background-color: var(--jp-layout-color2);
  128. }
  129. .jp-RunningSessions-shutdownAll.jp-mod-styled.jp-mod-disabled {
  130. color: var(--jp-ui-font-color2);
  131. }
  132. .jp-RunningSessions-shutdownAll.jp-mod-styled.jp-mod-disabled:hover {
  133. background: none;
  134. }