index.css 6.1 KB

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