base.css 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341
  1. /*
  2. Main widget layout and styling
  3. */
  4. .jp-extensionmanager-view {
  5. padding-bottom: 0px;
  6. color: var(--jp-ui-font-color1);
  7. background: var(--jp-layout-color1);
  8. display: flex;
  9. flex-direction: column;
  10. font-size: var(--jp-ui-font-size1);
  11. }
  12. .jp-extensionmanager-content {
  13. overflow: auto;
  14. overflow-x: hidden;
  15. }
  16. /*
  17. List view layout and styling
  18. */
  19. .jp-extensionmanager-listview-wrapper {
  20. margin: 0;
  21. padding: 0;
  22. padding-bottom: 8px;
  23. display: flex;
  24. flex-direction: column;
  25. flex: 0 0 auto;
  26. }
  27. .jp-extensionmanager-listview {
  28. list-style-type: none;
  29. margin: 0;
  30. padding: 0;
  31. min-height: 0;
  32. }
  33. /*
  34. Section headers
  35. */
  36. .jp-extensionmanager-view header {
  37. display: flex;
  38. justify-content: space-between;
  39. flex: 0 0 auto;
  40. margin: 0px;
  41. padding-bottom: 8px;
  42. font-weight: 600;
  43. text-transform: uppercase;
  44. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  45. letter-spacing: 1px;
  46. font-size: var(--jp-ui-font-size0);
  47. line-height: 24px;
  48. height: 24px;
  49. padding: 4px;
  50. }
  51. .jp-extensionmanager-view header > .jp-ToolbarButtonComponent {
  52. padding: 0px 2px;
  53. }
  54. .jp-extensionmanager-view header .jp-extensionmanager-headerText {
  55. flex: 1 0 auto;
  56. margin: 0px 4px;
  57. }
  58. .jp-extensionmanager-view header > .jp-ToolbarButtonComponent {
  59. border: 1px solid transparent;
  60. background-color: var(--jp-layout-color1);
  61. color: var(--jp-ui-font-color1);
  62. }
  63. .jp-extensionmanager-view header > .jp-ToolbarButtonComponent:hover {
  64. /* border: 1px solid var(--jp-brand-color1); */
  65. }
  66. /*
  67. Listing messages
  68. */
  69. .jp-extensionmanager-listingmessage {
  70. background-color: var(--jp-brand-color1);
  71. color: var(--jp-ui-inverse-font-color1);
  72. padding: 4px 8px;
  73. font-size: var(--jp-ui-font-size1);
  74. font-weight: 400;
  75. }
  76. /*
  77. Error messages
  78. */
  79. .jp-extensionmanager-view .jp-extensionmanager-error pre {
  80. white-space: pre-wrap;
  81. }
  82. /*
  83. Search bar layout and styling
  84. */
  85. .jp-extensionmanager-search-bar {
  86. padding: 4px;
  87. }
  88. .jp-extensionmanager-disclaimer {
  89. padding: 4px;
  90. }
  91. .jp-extensionmanager-search-wrapper input {
  92. background: transparent;
  93. font-size: var(--jp-ui-font-size1);
  94. color: var(--jp-ui-font-color0);
  95. line-height: var(--jp-private-commandpalette-search-height);
  96. box-sizing: border-box;
  97. border-radius: 0;
  98. }
  99. .jp-extensionmanager-search-wrapper input:focus {
  100. box-shadow: inset 0 0 0 1px var(--jp-input-active-box-shadow-color),
  101. inset 0 0 0 3px var(--jp-input-active-box-shadow-color);
  102. }
  103. /*
  104. List view pagination styling
  105. */
  106. .jp-extensionmanager-view ul.pagination {
  107. display: inline-block;
  108. padding-left: 0px;
  109. padding-right: 0px;
  110. }
  111. .jp-extensionmanager-view .pagination li {
  112. display: inline-block;
  113. }
  114. .jp-extensionmanager-view .pagination li a {
  115. padding: 0 5px;
  116. margin: 0 5px;
  117. }
  118. .jp-extensionmanager-view .pagination li.active a {
  119. background: var(--jp-brand-color1);
  120. color: #fff;
  121. }
  122. .jp-extensionmanager-view .pagination li a:hover {
  123. background-color: var(--jp-layout-color2);
  124. color: unset;
  125. }
  126. .jp-extensionmanager-view .pagination .break a {
  127. cursor: default;
  128. }
  129. .jp-extensionmanager-pagination {
  130. display: flex;
  131. justify-content: center;
  132. }
  133. /*
  134. Entry layout and styling
  135. */
  136. .jp-extensionmanager-entry {
  137. padding: 8px;
  138. border-bottom: solid var(--jp-border-width) var(--jp-border-color2);
  139. }
  140. .jp-extensionmanager-entry-title {
  141. display: flex;
  142. flex-direction: row;
  143. }
  144. .jp-extensionmanager-entry-jupyter-org {
  145. display: none;
  146. }
  147. .jp-extensionmanager-entry.jp-extensionmanager-entry-mod-jupyterlab-org
  148. .jp-extensionmanager-entry-jupyter-org {
  149. display: inline;
  150. }
  151. .jp-extensionmanager-entry.jp-extensionmanager-entry-should-be-uninstalled {
  152. background-color: var(--jp-error-color3);
  153. }
  154. /* Precedence order update/error/warning matters! */
  155. .jp-extensionmanager-entry.jp-extensionmanager-entry-update {
  156. border-left: solid 8px var(--jp-brand-color2);
  157. padding-left: 4px;
  158. }
  159. .jp-extensionmanager-entry.jp-extensionmanager-entry-error {
  160. border-left: solid 8px var(--jp-error-color2);
  161. padding-left: 4px;
  162. }
  163. .jp-extensionmanager-entry.jp-extensionmanager-entry-warning {
  164. }
  165. .jp-extensionmanager-entry-name {
  166. font-size: var(--jp-ui-font-size1);
  167. font-weight: 600;
  168. padding: 0 8px 0 0;
  169. margin-bottom: 4px;
  170. }
  171. .jp-extensionmanager-entry-name a:link {
  172. color: var(--jp-content-link-color);
  173. text-decoration: none;
  174. }
  175. .jp-extensionmanager-entry-name a:visited {
  176. color: var(--jp-content-link-color);
  177. text-decoration: none;
  178. }
  179. .jp-extensionmanager-entry-name a:hover {
  180. color: var(--jp-content-link-color);
  181. text-decoration: underline;
  182. }
  183. .jp-extensionmanager-entry-description {
  184. font-size: var(--jp-ui-font-size1);
  185. color: var(--jp-ui-font-color2);
  186. font-weight: 400;
  187. }
  188. .jp-extensionmanager-loader,
  189. .jp-extensionmanager-error,
  190. .jp-extensionmanager-listview-message {
  191. padding: 4px 12px;
  192. }
  193. .jp-extensionmanager-listview-message {
  194. font-size: var(--jp-ui-font-size1);
  195. }
  196. .jp-extensionmanager-entry-content {
  197. display: flex;
  198. flex-direction: column;
  199. justify-content: space-between;
  200. }
  201. /*
  202. Pending entry progress indicator
  203. */
  204. .jp-extensionmanager-pending {
  205. height: 4px;
  206. width: 100%;
  207. position: relative;
  208. overflow: hidden;
  209. flex: 0 0 auto;
  210. background-color: var(--jp-layout-color1);
  211. }
  212. .jp-extensionmanager-pending.jp-mod-hasPending:before {
  213. display: block;
  214. position: absolute;
  215. content: '';
  216. left: -200px;
  217. width: 200px;
  218. height: 4px;
  219. border-radius: 4px;
  220. background-color: var(--jp-brand-color1);
  221. animation: loading 2s linear infinite;
  222. }
  223. @keyframes loading {
  224. from {
  225. left: -200px;
  226. width: 30%;
  227. }
  228. 50% {
  229. width: 30%;
  230. }
  231. 70% {
  232. width: 70%;
  233. }
  234. 80% {
  235. left: 50%;
  236. }
  237. 95% {
  238. left: 120%;
  239. }
  240. to {
  241. left: 100%;
  242. }
  243. }
  244. /*
  245. Entry buttons layout and styling
  246. */
  247. .jp-extensionmanager-entry-buttons {
  248. display: flex;
  249. flex-direction: row;
  250. padding-top: 4px;
  251. }
  252. /*
  253. Rebuild prompt dialog
  254. */
  255. .jp-extensionmanager-buildprompt {
  256. background-color: var(--jp-brand-color1);
  257. color: var(--jp-ui-inverse-font-color1);
  258. padding: 4px 8px;
  259. font-size: var(--jp-ui-font-size1);
  260. font-weight: 400;
  261. }
  262. .jp-extensionmanager-buildprompt button {
  263. border: none;
  264. background-color: transparent;
  265. color: var(--jp-ui-inverse-font-color1);
  266. font-size: var(--jp-ui-font-size1);
  267. font-weight: 600;
  268. float: right;
  269. margin: 4px;
  270. }
  271. /*
  272. Companion packages dialog
  273. */
  274. input[type='checkbox'] {
  275. appearance: checkbox;
  276. -webkit-appearance: checkbox;
  277. -moz-appearance: checkbox;
  278. height: auto;
  279. }
  280. /*
  281. Generic dialog
  282. */
  283. .jp-extensionmanager-dialog .jp-extensionmanager-dialog-subheader {
  284. font-size: var(--jp-ui-font-size1);
  285. font-weight: 600;
  286. color: var(--jp-ui-font-color0);
  287. }