index.css 4.5 KB

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