index.css 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /* Private CSS variables */
  6. :root {
  7. --jp-private-launcher-top-margin: 16px;
  8. --jp-private-launcher-side-margin: 32px;
  9. --jp-private-launcher-card-size: 100px;
  10. --jp-private-launcher-card-label-height: 25px;
  11. --jp-private-launcher-card-icon-height: 75px;
  12. --jp-private-launcher-large-icon-size: 52px;
  13. --jp-private-launcher-small-icon-size: 32px;
  14. }
  15. /* Launcher */
  16. .jp-Launcher {
  17. margin: 0;
  18. padding: 0;
  19. outline: none;
  20. background: var(--jp-layout-color0);
  21. box-sizing: border-box;
  22. }
  23. .jp-Launcher::before {
  24. content: '';
  25. display: block;
  26. height: var(--jp-toolbar-micro-height);
  27. width: 100%;
  28. background: var(--jp-toolbar-background);
  29. border-bottom: 1px solid var(--jp-toolbar-border-color);
  30. box-shadow: var(--jp-toolbar-box-shadow);
  31. z-index: 1;
  32. }
  33. .jp-Launcher-body {
  34. width: 100%;
  35. height: 100%;
  36. box-sizing: border-box;
  37. overflow: auto;
  38. display: flex;
  39. justify-content: center;
  40. }
  41. .jp-Launcher-body::-webkit-scrollbar {
  42. background-color: var(--jp-scrollbar-background-color);
  43. border-left: var(--jp-scrollbar-border);
  44. }
  45. .jp-Launcher-body::-webkit-scrollbar-thumb {
  46. background-color: var(--jp-scrollbar-thumb-color);
  47. border-radius: 0px;
  48. border-left: var(--jp-scrollbar-border);
  49. }
  50. .jp-Launcher-content {
  51. width: 85%;
  52. height: 100%;
  53. margin-top: var(--jp-private-launcher-top-margin);
  54. margin-left: var(--jp-private-launcher-side-margin);
  55. margin-right: var(--jp-private-launcher-side-margin);
  56. box-sizing: border-box;
  57. }
  58. /* Launcher section */
  59. .jp-Launcher-section {
  60. width: 100%;
  61. box-sizing: border-box;
  62. padding-bottom: 12px;
  63. }
  64. .jp-Launcher-sectionHeader {
  65. display: flex;
  66. flex-direction: row;
  67. align-items: center;
  68. box-sizing: border-box;
  69. /* This is custom tuned to get the section header to align with the cards */
  70. margin-left: 5px;
  71. border-bottom: 1px solid var(--jp-border-color2);
  72. padding-bottom: 0px;
  73. margin-bottom: 8px;
  74. }
  75. .jp-Launcher-sectionHeader .jp-Launcher-sectionIcon {
  76. box-sizing: border-box;
  77. margin-right: 12px;
  78. height: var(--jp-private-launcher-small-icon-size);
  79. width: var(--jp-private-launcher-small-icon-size);
  80. background-size: var(--jp-private-launcher-small-icon-size) var(--jp-private-launcher-small-icon-size);
  81. }
  82. .jp-Launcher-sectionTitle {
  83. font-size: var(--jp-ui-font-size2);
  84. font-weight: normal;
  85. color: var(--jp-ui-font-color1);
  86. box-sizing: border-box;
  87. }
  88. /* Launcher cards */
  89. .jp-Launcher-cardContainer {
  90. margin: 0;
  91. padding: 0;
  92. box-sizing: border-box;
  93. display: flex;
  94. flex-direction: row;
  95. flex-wrap: wrap;
  96. }
  97. .jp-LauncherCard {
  98. display: flex;
  99. flex-direction: column;
  100. cursor: pointer;
  101. width: var(--jp-private-launcher-card-size);
  102. height: var(--jp-private-launcher-card-size);
  103. margin: 8px;
  104. padding: 0px;
  105. border: 1px solid var(--jp-border-color1);
  106. background: var(--jp-layout-color1);
  107. box-shadow: 0px 1px 1px 1px rgba(0,0,0,.08);
  108. transition: .2s box-shadow;
  109. }
  110. .jp-LauncherCard:hover {
  111. box-shadow: 0px 2px 4px 1px rgba(0,0,0,.20);
  112. }
  113. .jp-LauncherCard-icon {
  114. width: 100%;
  115. height: var(--jp-private-launcher-card-icon-height);
  116. box-sizing: border-box;
  117. margin: 0px;
  118. padding: 0px;
  119. display: flex;
  120. justify-content: center;
  121. align-items: center;
  122. }
  123. .jp-LauncherCard-noKernelIcon {
  124. font-weight: normal;
  125. font-size: var(--jp-private-launcher-large-icon-size);
  126. }
  127. .jp-LauncherCard[data-category="Notebook"] .jp-LauncherCard-noKernelIcon {
  128. /* This color is copied from the notebook icon. */
  129. color: #EF6C00;
  130. }
  131. .jp-LauncherCard[data-category="Console"] .jp-LauncherCard-noKernelIcon {
  132. /* This color is copied from the console icon. */
  133. color: #0288D1;
  134. }
  135. .jp-LauncherCard-label {
  136. width: 100%;
  137. height: var(--jp-private-launcher-card-label-height);
  138. line-height: var(--jp-private-launcher-card-label-height);
  139. font-size: var(--jp-ui-font-size1);
  140. color: var(--jp-ui-font-color1);
  141. box-sizing: border-box;
  142. overflow: hidden;
  143. white-space: nowrap;
  144. text-overflow: ellipsis;
  145. text-align: center;
  146. }
  147. /* Icons, kernel icons */
  148. .jp-Launcher-icon {
  149. margin: 0px;
  150. padding: 0px;
  151. height: var(--jp-private-launcher-large-icon-size);
  152. width: var(--jp-private-launcher-large-icon-size);
  153. background-size: var(--jp-private-launcher-large-icon-size) var(--jp-private-launcher-large-icon-size);
  154. background-repeat: no-repeat;
  155. cursor: pointer;
  156. }
  157. .jp-Launcher-kernelIcon {
  158. width: var(--jp-private-launcher-large-icon-size);
  159. height: var(--jp-private-launcher-large-icon-size);
  160. margin: 0px;
  161. padding: 0px;
  162. }