base.css 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-Help {
  6. min-width: 240px;
  7. min-height: 240px;
  8. background: var(--jp-layout-color0);
  9. outline: none;
  10. }
  11. .jp-Help > iframe {
  12. border: none;
  13. }
  14. .jp-About-body {
  15. display: flex;
  16. font-size: var(--jp-ui-font-size1);
  17. color: var(--jp-ui-font-color1);
  18. text-align: left;
  19. flex-direction: column;
  20. width: 100%;
  21. min-width: 360px;
  22. overflow: visible;
  23. }
  24. .jp-About-version-info {
  25. color: var(--jp-ui-font-color1);
  26. /* Dialog-header sets the font size to 3, we reset to 1 */
  27. font-size: var(--jp-ui-font-size1);
  28. width: 200px;
  29. font-weight: 400;
  30. letter-spacing: 0.4px;
  31. text-align: left;
  32. line-height: 1.12;
  33. }
  34. .jp-Dialog
  35. .jp-Dialog-content
  36. .jp-Dialog-footer
  37. .jp-Dialog-button.jp-About-button {
  38. margin-right: 0px;
  39. }
  40. .jp-About-version {
  41. display: block;
  42. }
  43. .jp-About-version {
  44. padding-top: 8px;
  45. }
  46. .jp-About-externalLinks {
  47. display: flex;
  48. flex-direction: column;
  49. justify-content: flex-start;
  50. align-items: flex-start;
  51. padding-top: 12px;
  52. }
  53. .jp-About-externalLinks .jp-Button-flat {
  54. color: #f37726;
  55. }
  56. .jp-About-copyright {
  57. padding-top: 25px;
  58. }
  59. .jp-About-header {
  60. display: flex;
  61. flex-direction: row;
  62. align-items: center;
  63. }
  64. .jp-About-body pre {
  65. white-space: pre-wrap;
  66. }
  67. .jp-About-header-info {
  68. display: flex;
  69. flex-direction: column;
  70. margin-left: 16px;
  71. }
  72. /* licenses */
  73. .jp-Licenses {
  74. display: flex;
  75. flex-direction: row;
  76. align-items: stretch;
  77. background-color: var(--jp-layout-color0);
  78. }
  79. .jp-Licenses-FormArea {
  80. display: flex;
  81. flex-direction: column;
  82. min-width: calc(10 * var(--jp-ui-font-size1));
  83. width: calc(18 * var(--jp-ui-font-size1));
  84. }
  85. .jp-Licenses .lm-SplitPanel-handle:hover {
  86. background-color: var(--jp-brand-color2);
  87. }
  88. /* filters */
  89. .jp-Licenses-Filters {
  90. padding: var(--jp-ui-font-size1) calc(var(--jp-ui-font-size1) / 2) 0
  91. var(--jp-ui-font-size1);
  92. }
  93. .jp-Licenses-Filters label {
  94. display: block;
  95. }
  96. .jp-Licenses-Filters label strong {
  97. font-weight: 600;
  98. text-transform: uppercase;
  99. letter-spacing: 1px;
  100. font-size: var(--jp-ui-font-size0);
  101. }
  102. .jp-RenderedHTMLCommon.jp-Licenses-Filters ul,
  103. .jp-RenderedHTMLCommon.jp-Licenses-Filters li {
  104. list-style: none;
  105. }
  106. .jp-Licenses-Filters input {
  107. width: 100%;
  108. }
  109. .jp-RenderedHTMLCommon.jp-Licenses-Filters ul {
  110. padding: 0 0 var(--jp-ui-font-size1) 0;
  111. margin: 0;
  112. padding-bottom: var(--jp-ui-font-size1);
  113. }
  114. /* bundles */
  115. .jp-Licenses-Bundles {
  116. background-color: var(--jp-layout-color2);
  117. overflow-y: auto;
  118. flex: 1;
  119. }
  120. .jp-Licenses-Bundles .lm-TabBar-tab {
  121. padding: calc(var(--jp-ui-font-size1) / 2);
  122. background-color: var(--jp-layout-color1);
  123. color: var(--jp-ui-font-color1);
  124. }
  125. .jp-Licenses-Bundles .lm-TabBar-tab label {
  126. background-color: var(--jp-layout-color2);
  127. border-radius: var(--jp-ui-font-size1);
  128. width: calc(2.5 * var(--jp-ui-font-size1));
  129. padding: 0 calc(var(--jp-ui-font-size1) / 2);
  130. text-align: center;
  131. margin-left: var(--jp-ui-font-size1);
  132. }
  133. .jp-Licenses-Bundles .lm-TabBar-tab.lm-mod-current {
  134. background-color: var(--jp-brand-color1);
  135. color: #fff;
  136. }
  137. .jp-Licenses-Bundles .lm-TabBar-tab.lm-mod-current label {
  138. background-color: #fff;
  139. color: var(--jp-brand-color1);
  140. }
  141. /* license grid */
  142. .jp-Licenses-Grid.jp-RenderedHTMLCommon {
  143. min-width: calc(var(--jp-ui-font-size1) * 10);
  144. display: flex;
  145. flex-direction: column;
  146. padding: 0;
  147. }
  148. .jp-Licenses-Grid.jp-RenderedHTMLCommon form {
  149. flex: 1;
  150. display: flex;
  151. flex-direction: column;
  152. overflow-y: scroll;
  153. margin: 0;
  154. padding: 0;
  155. }
  156. .jp-RenderedHTMLCommon.jp-Licenses-Grid table {
  157. flex: 1;
  158. max-width: 100%;
  159. border: solid var(--jp-border-width) var(--jp-border-color2);
  160. border-top: 0;
  161. border-bottom: 0;
  162. margin: 0;
  163. }
  164. .jp-Licenses-Grid.jp-RenderedHTMLCommon td,
  165. .jp-Licenses-Grid.jp-RenderedHTMLCommon th {
  166. text-align: left;
  167. }
  168. .jp-Licenses-Grid table td:nth-child(1) {
  169. max-width: calc(2 * var(--jp-ui-font-size1));
  170. }
  171. .jp-Licenses-Grid label {
  172. width: 100%;
  173. }
  174. .jp-Licenses-Grid.jp-RenderedHTMLCommon code {
  175. background-color: transparent;
  176. }
  177. .jp-Licenses-Grid table tr.jp-mod-selected {
  178. background-color: var(--jp-brand-color1);
  179. color: #fff;
  180. }
  181. .jp-Licenses-Grid.jp-RenderedHTMLCommon .jp-mod-selected code {
  182. color: #fff;
  183. }
  184. /* license text */
  185. .jp-Licenses-Text {
  186. min-width: calc(10 * var(--jp-ui-font-size1));
  187. padding: 0 0 0 var(--jp-ui-font-size1);
  188. display: flex;
  189. flex-direction: column;
  190. }
  191. .jp-Licenses-Text h1 {
  192. flex: initial;
  193. margin-bottom: 0;
  194. }
  195. .jp-Licenses-Text h1:empty {
  196. display: none;
  197. }
  198. .jp-Licenses-Text blockquote {
  199. flex: initial;
  200. }
  201. .jp-Licenses-Text.jp-RenderedHTMLCommon code {
  202. overflow-wrap: anywhere;
  203. overflow-y: auto;
  204. flex: 1;
  205. padding-right: var(--jp-ui-font-size1);
  206. margin-bottom: 0;
  207. padding-bottom: var(--jp-ui-font-size1);
  208. }
  209. .jp-Licenses-Text code:empty {
  210. display: none;
  211. }