base.css 6.9 KB

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