base.css 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  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-padding: 16px;
  8. --jp-private-launcher-side-padding: 32px;
  9. --jp-private-launcher-card-size: 100px;
  10. --jp-private-launcher-card-label-height: 32px;
  11. --jp-private-launcher-card-icon-height: 68px;
  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. /* This is needed so that all font sizing of children done in ems is
  25. * relative to this base size */
  26. font-size: var(--jp-ui-font-size1);
  27. }
  28. .jp-Launcher-body {
  29. width: 100%;
  30. height: 100%;
  31. box-sizing: border-box;
  32. overflow: auto;
  33. display: flex;
  34. justify-content: center;
  35. }
  36. .jp-Launcher-cwd h3 {
  37. font-size: var(--jp-ui-font-size2);
  38. font-weight: normal;
  39. color: var(--jp-ui-font-color1);
  40. margin: 1em 0px;
  41. }
  42. .jp-Launcher-content {
  43. width: 85%;
  44. height: 100%;
  45. padding-top: var(--jp-private-launcher-top-padding);
  46. padding-left: var(--jp-private-launcher-side-padding);
  47. padding-right: var(--jp-private-launcher-side-padding);
  48. box-sizing: border-box;
  49. }
  50. /* Launcher section */
  51. .jp-Launcher-section {
  52. width: 100%;
  53. box-sizing: border-box;
  54. padding-bottom: 12px;
  55. }
  56. .jp-Launcher-sectionHeader {
  57. display: flex;
  58. flex-direction: row;
  59. align-items: center;
  60. box-sizing: border-box;
  61. /* This is custom tuned to get the section header to align with the cards */
  62. margin-left: 5px;
  63. border-bottom: 1px solid var(--jp-border-color2);
  64. padding-bottom: 0px;
  65. margin-bottom: 8px;
  66. }
  67. .jp-Launcher-sectionTitle {
  68. font-size: var(--jp-ui-font-size2);
  69. font-weight: normal;
  70. color: var(--jp-ui-font-color1);
  71. box-sizing: border-box;
  72. }
  73. /* Launcher cards */
  74. .jp-Launcher-cardContainer {
  75. margin: 0;
  76. padding: 0;
  77. box-sizing: border-box;
  78. display: flex;
  79. flex-direction: row;
  80. flex-wrap: wrap;
  81. }
  82. .jp-LauncherCard {
  83. display: flex;
  84. flex-direction: column;
  85. cursor: pointer;
  86. width: var(--jp-private-launcher-card-size);
  87. height: var(--jp-private-launcher-card-size);
  88. margin: 8px;
  89. padding: 0px;
  90. border: 1px solid var(--jp-border-color2);
  91. background: var(--jp-layout-color0);
  92. box-shadow: var(--jp-elevation-z2);
  93. transition: 0.2s box-shadow;
  94. border-radius: var(--jp-border-radius);
  95. }
  96. .jp-LauncherCard:focus:not(:active) {
  97. border: 1px solid var(--jp-brand-color1);
  98. box-shadow: var(--jp-elevation-z6);
  99. }
  100. .jp-LauncherCard:hover {
  101. box-shadow: var(--jp-elevation-z6);
  102. background: var(--jp-layout-color1);
  103. }
  104. .jp-LauncherCard:active {
  105. box-shadow: var(--jp-elevation-z4);
  106. }
  107. .jp-LauncherCard-icon {
  108. width: 100%;
  109. height: var(--jp-private-launcher-card-icon-height);
  110. box-sizing: border-box;
  111. margin: 0px;
  112. padding: 0px;
  113. display: flex;
  114. justify-content: center;
  115. align-items: center;
  116. }
  117. .jp-LauncherCard-noKernelIcon {
  118. font-weight: normal;
  119. font-size: var(--jp-private-launcher-large-icon-size);
  120. }
  121. .jp-LauncherCard[data-category='Notebook'] .jp-LauncherCard-noKernelIcon {
  122. /* This color is copied from the notebook icon. */
  123. color: #ef6c00;
  124. }
  125. .jp-LauncherCard[data-category='Console'] .jp-LauncherCard-noKernelIcon {
  126. /* This color is copied from the console icon. */
  127. color: #0288d1;
  128. }
  129. .jp-LauncherCard-label {
  130. width: 100%;
  131. height: var(--jp-private-launcher-card-label-height);
  132. padding: 0 4px 4px 4px;
  133. box-sizing: border-box;
  134. overflow: hidden;
  135. }
  136. .jp-LauncherCard-label p {
  137. height: 28px;
  138. word-break: break-word;
  139. text-align: center;
  140. color: var(--jp-ui-font-color1);
  141. line-height: 14px;
  142. font-size: 12px;
  143. overflow: hidden;
  144. }
  145. /* kernel icons */
  146. .jp-Launcher-kernelIcon {
  147. width: var(--jp-private-launcher-large-icon-size);
  148. height: var(--jp-private-launcher-large-icon-size);
  149. margin: 0px;
  150. padding: 0px;
  151. }