index.css 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154
  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: 20px;
  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. }
  27. .jp-RunningSessions-headerRefresh {
  28. flex: 1 1 auto;
  29. height: var(--jp-private-running-button-height);
  30. width: var(--jp-private-running-button-width);
  31. max-width: 100px;
  32. min-width: 16px;
  33. min-height: 16px;
  34. padding: 4px 6px;
  35. background: var(--jp-layout-color1);
  36. border: none;
  37. outline: 0;
  38. background-image: var(--jp-icon-refresh);
  39. background-size: 16px;
  40. display: block;
  41. vertical-align: middle;
  42. background-repeat: no-repeat;
  43. background-position: center;
  44. }
  45. .jp-RunningSessions-section {
  46. display: flex;
  47. flex: 0 1 auto;
  48. flex-direction: column;
  49. }
  50. .jp-RunningSessions-headerRefresh:hover {
  51. background-color: var(--jp-layout-color2);
  52. z-index: 1; /* raise overlapping border */
  53. }
  54. .jp-RunningSessions-sectionHeader {
  55. flex: 0 0 auto;
  56. margin: 4px 0px;
  57. padding: 4px 12px;
  58. font-weight: 600;
  59. text-transform: uppercase;
  60. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  61. letter-spacing: 1px;
  62. }
  63. .jp-RunningSessions-sectionContainer {
  64. flex: 1 1 auto;
  65. margin: 0;
  66. padding: 0;
  67. overflow: auto;
  68. }
  69. .jp-RunningSessions-sectionList {
  70. margin: 0;
  71. padding: 0;
  72. list-style-type: none;
  73. }
  74. .jp-RunningSessions-item {
  75. display: flex;
  76. flex-direction: row;
  77. color: var(--jp-ui-font-color1);
  78. height: var(--jp-private-running-item-height);
  79. line-height: var(--jp-private-running-item-height);
  80. }
  81. .jp-RunningSessions-item:hover {
  82. background: var(--jp-layout-color2);
  83. }
  84. .jp-RunningSessions-itemIcon {
  85. flex: 0 0 auto;
  86. padding: 0px 8px;
  87. margin-right: 4px;
  88. margin-left: 8px;
  89. vertical-align: baseline;
  90. background-size: 16px;
  91. background-repeat: no-repeat;
  92. background-position: center;
  93. }
  94. .jp-RunningSessions-itemIcon.jp-mod-notebook {
  95. background-image: var(--jp-icon-book);
  96. }
  97. .jp-RunningSessions-itemIcon.jp-mod-console {
  98. background-image: var(--jp-icon-terminal);
  99. }
  100. .jp-RunningSessions-itemIcon.jp-mod-file:before {
  101. background-image: var(--jp-icon-file);
  102. }
  103. .jp-RunningSessions-itemIcon.jp-mod-terminal {
  104. background-image: var(--jp-icon-terminal);
  105. }
  106. .jp-RunningSessions-itemLabel {
  107. font-size: var(--jp-ui-font-size1);
  108. flex: 1 1 auto;
  109. margin-right: 4px;
  110. text-overflow: ellipsis;
  111. overflow: hidden;
  112. direction: rtl;
  113. white-space: nowrap;
  114. }
  115. .jp-RunningSessions-itemShutdown.jp-mod-styled {
  116. margin: 2px 8px 2px 0px;
  117. color: var(--jp-inverse-ui-font-color0);
  118. background: var(--jp-warn-color1);
  119. height: var(--jp-private-running-shutdown-button-height);
  120. line-height: var(--jp-private-running-shutdown-button-height);
  121. }