base.css 5.2 KB

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