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