base.css 7.2 KB

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