index.css 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187
  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: 300px;
  18. color: var(--jp-ui-font-color1);
  19. background: var(--jp-layout-color1);
  20. font-size: var(--jp-ui-font-size0);
  21. }
  22. .jp-RunningSessions-header {
  23. flex: 0 0 auto;
  24. display: flex;
  25. flex-direction: row;
  26. margin: var(--jp-toolbar-header-margin);
  27. }
  28. .jp-RunningSessions-headerRefresh {
  29. flex: 1 1 auto;
  30. height: var(--jp-private-running-button-height);
  31. width: var(--jp-private-running-button-width);
  32. max-width: 100px;
  33. min-width: 16px;
  34. min-height: 16px;
  35. padding: 4px 6px;
  36. background: var(--jp-layout-color1);
  37. border: none;
  38. outline: 0;
  39. background-image: var(--jp-icon-refresh);
  40. background-size: 16px;
  41. display: block;
  42. vertical-align: middle;
  43. background-repeat: no-repeat;
  44. background-position: center;
  45. }
  46. .jp-RunningSessions-section {
  47. display: flex;
  48. flex: 0 1 auto;
  49. flex-direction: column;
  50. }
  51. .jp-RunningSessions-headerRefresh:hover {
  52. background-color: var(--jp-layout-color0);
  53. box-shadow: var(--jp-toolbar-box-shadow);
  54. border: 1px solid var(--jp-toolbar-border-color);
  55. z-index: 1; /* raise overlapping border */
  56. }
  57. .jp-RunningSessions-headerRefresh:active {
  58. border: 1px solid var(--jp-toolbar-border-color);
  59. background-color: var(--jp-toolbar-active-background);
  60. box-shadow: var(--jp-toolbar-box-shadow);
  61. }
  62. .jp-RunningSessions-sectionHeader {
  63. flex: 0 0 auto;
  64. margin: 4px 0px;
  65. padding: 4px 12px;
  66. font-weight: 600;
  67. text-transform: uppercase;
  68. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  69. letter-spacing: 1px;
  70. }
  71. .jp-RunningSessions-sectionContainer {
  72. flex: 1 1 auto;
  73. margin: 0;
  74. padding: 0;
  75. overflow: auto;
  76. }
  77. .jp-RunningSessions-sectionList {
  78. margin: 0;
  79. padding: 0;
  80. list-style-type: none;
  81. }
  82. .jp-RunningSessions-item {
  83. display: flex;
  84. flex-direction: row;
  85. color: var(--jp-ui-font-color1);
  86. height: var(--jp-private-running-item-height);
  87. line-height: var(--jp-private-running-item-height);
  88. }
  89. .jp-RunningSessions-itemIcon {
  90. flex: 0 0 auto;
  91. padding: 0px 8px;
  92. margin-right: 4px;
  93. margin-left: 8px;
  94. vertical-align: baseline;
  95. background-size: 16px;
  96. background-repeat: no-repeat;
  97. background-position: center;
  98. }
  99. .jp-RunningSessions-itemIcon.jp-mod-notebook {
  100. background-image: var(--jp-icon-book-running);
  101. }
  102. .jp-RunningSessions-itemIcon.jp-mod-console {
  103. background-image: var(--jp-icon-console);
  104. }
  105. .jp-RunningSessions-itemIcon.jp-mod-file:before {
  106. background-image: var(--jp-icon-file);
  107. }
  108. .jp-RunningSessions-itemIcon.jp-mod-terminal {
  109. background-image: var(--jp-icon-terminal);
  110. }
  111. .jp-RunningSessions-itemLabel {
  112. font-size: var(--jp-ui-font-size1);
  113. flex: 1 1 auto;
  114. margin-right: 4px;
  115. padding-left: 4px;
  116. text-overflow: ellipsis;
  117. overflow: hidden;
  118. white-space: nowrap;
  119. border-radius: 2px;
  120. transition: background-color 0.1s ease;
  121. }
  122. .jp-RunningSessions-itemLabel:hover {
  123. background-color: var(--jp-layout-color2);
  124. }
  125. .jp-RunningSessions-itemLabel:focus {
  126. background-color: rgba(153,153,153,.2);
  127. }
  128. .jp-RunningSessions-itemShutdown.jp-mod-styled {
  129. margin: 0px 4px;
  130. color: var(--jp-warn-color1);
  131. font-weight: 500;
  132. background-color: transparent;
  133. height: var(--jp-private-running-shutdown-button-height);
  134. line-height: var(--jp-private-running-shutdown-button-height);
  135. transition: background-color 0.1s ease;
  136. border-radius: 2px;
  137. }
  138. .jp-RunningSessions-itemShutdown.jp-mod-styled:hover {
  139. background-color: rgba(153,153,153,.1);
  140. }
  141. .jp-RunningSessions-itemShutdown.jp-mod-styled:focus {
  142. border: none;
  143. box-shadow: none;
  144. background-color: rgba(153,153,153,.2);
  145. }