base.css 6.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /*-----------------------------------------------------------------------------
  6. | Variables
  7. |----------------------------------------------------------------------------*/
  8. :root {
  9. --jp-private-filebrowser-button-height: 28px;
  10. --jp-private-filebrowser-button-width: 48px;
  11. }
  12. /*-----------------------------------------------------------------------------
  13. | Copyright (c) Jupyter Development Team.
  14. | Distributed under the terms of the Modified BSD License.
  15. |----------------------------------------------------------------------------*/
  16. .jp-FileBrowser {
  17. display: flex;
  18. flex-direction: column;
  19. color: var(--jp-ui-font-color1);
  20. background: var(--jp-layout-color1);
  21. /* This is needed so that all font sizing of children done in ems is
  22. * relative to this base size */
  23. font-size: var(--jp-ui-font-size1);
  24. }
  25. .jp-FileBrowser-toolbar.jp-Toolbar {
  26. border-bottom: none;
  27. height: auto;
  28. margin: var(--jp-toolbar-header-margin);
  29. box-shadow: none;
  30. }
  31. .jp-BreadCrumbs {
  32. flex: 0 0 auto;
  33. margin: 8px 12px 8px 12px;
  34. }
  35. .jp-BreadCrumbs-item {
  36. margin: 0px 2px;
  37. padding: 0px 2px;
  38. border-radius: var(--jp-border-radius);
  39. cursor: pointer;
  40. }
  41. .jp-BreadCrumbs-item:hover {
  42. background-color: var(--jp-layout-color2);
  43. }
  44. .jp-BreadCrumbs-item:first-child {
  45. margin-left: 0px;
  46. }
  47. .jp-BreadCrumbs-item.jp-mod-dropTarget {
  48. background-color: var(--jp-brand-color2);
  49. opacity: 0.7;
  50. }
  51. /*-----------------------------------------------------------------------------
  52. | Buttons
  53. |----------------------------------------------------------------------------*/
  54. .jp-FileBrowser-toolbar.jp-Toolbar {
  55. padding: 0px;
  56. margin: 8px 12px 0px 12px;
  57. }
  58. .jp-FileBrowser-toolbar.jp-Toolbar {
  59. justify-content: flex-start;
  60. }
  61. .jp-FileBrowser-toolbar.jp-Toolbar .jp-Toolbar-item {
  62. flex: 0 0 auto;
  63. padding-left: 0px;
  64. padding-right: 2px;
  65. }
  66. .jp-FileBrowser-toolbar.jp-Toolbar .jp-ToolbarButtonComponent {
  67. width: 40px;
  68. }
  69. .jp-FileBrowser-toolbar.jp-Toolbar
  70. .jp-Toolbar-item:first-child
  71. .jp-ToolbarButtonComponent {
  72. width: 72px;
  73. background: var(--jp-brand-color1);
  74. }
  75. .jp-FileBrowser-toolbar.jp-Toolbar
  76. .jp-Toolbar-item:first-child
  77. .jp-ToolbarButtonComponent:focus-visible {
  78. background-color: var(--jp-brand-color0);
  79. }
  80. .jp-FileBrowser-toolbar.jp-Toolbar
  81. .jp-Toolbar-item:first-child
  82. .jp-ToolbarButtonComponent
  83. .jp-icon3 {
  84. fill: white;
  85. }
  86. /*-----------------------------------------------------------------------------
  87. | Other styles
  88. |----------------------------------------------------------------------------*/
  89. .jp-FileDialog.jp-mod-conflict input {
  90. color: var(--jp-error-color1);
  91. }
  92. .jp-FileDialog .jp-new-name-title {
  93. margin-top: 12px;
  94. }
  95. .jp-LastModified-hidden {
  96. display: none;
  97. }
  98. .jp-FileBrowser-filterBox {
  99. padding: 0px;
  100. flex: 0 0 auto;
  101. margin: 8px 12px 0px 12px;
  102. }
  103. /*-----------------------------------------------------------------------------
  104. | DirListing
  105. |----------------------------------------------------------------------------*/
  106. .jp-DirListing {
  107. flex: 1 1 auto;
  108. display: flex;
  109. flex-direction: column;
  110. outline: 0;
  111. }
  112. .jp-DirListing:focus-visible {
  113. border: 1px solid var(--jp-brand-color1);
  114. }
  115. .jp-DirListing-header {
  116. flex: 0 0 auto;
  117. display: flex;
  118. flex-direction: row;
  119. overflow: hidden;
  120. border-top: var(--jp-border-width) solid var(--jp-border-color2);
  121. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  122. box-shadow: var(--jp-toolbar-box-shadow);
  123. z-index: 2;
  124. }
  125. .jp-DirListing-headerItem {
  126. padding: 4px 12px 2px 12px;
  127. font-weight: 500;
  128. }
  129. .jp-DirListing-headerItem:hover {
  130. background: var(--jp-layout-color2);
  131. }
  132. .jp-DirListing-headerItem.jp-id-name {
  133. flex: 1 0 84px;
  134. }
  135. .jp-DirListing-headerItem.jp-id-modified {
  136. flex: 0 0 112px;
  137. border-left: var(--jp-border-width) solid var(--jp-border-color2);
  138. text-align: right;
  139. }
  140. .jp-id-narrow {
  141. display: none;
  142. flex: 0 0 5px;
  143. padding: 4px 4px;
  144. border-left: var(--jp-border-width) solid var(--jp-border-color2);
  145. text-align: right;
  146. color: var(--jp-border-color2);
  147. }
  148. .jp-DirListing-narrow .jp-id-narrow {
  149. display: block;
  150. }
  151. .jp-DirListing-narrow .jp-id-modified,
  152. .jp-DirListing-narrow .jp-DirListing-itemModified {
  153. display: none;
  154. }
  155. .jp-DirListing-headerItem.jp-mod-selected {
  156. font-weight: 600;
  157. }
  158. /* increase specificity to override bundled default */
  159. .jp-DirListing-content {
  160. flex: 1 1 auto;
  161. margin: 0;
  162. padding: 0;
  163. list-style-type: none;
  164. overflow: auto;
  165. background-color: var(--jp-layout-color1);
  166. }
  167. .jp-DirListing-content mark {
  168. color: var(--jp-ui-font-color0);
  169. background-color: transparent;
  170. font-weight: bold;
  171. }
  172. .jp-DirListing-content .jp-DirListing-item.jp-mod-selected mark {
  173. color: var(--jp-ui-inverse-font-color0);
  174. }
  175. /* Style the directory listing content when a user drops a file to upload */
  176. .jp-DirListing.jp-mod-native-drop .jp-DirListing-content {
  177. outline: 5px dashed rgba(128, 128, 128, 0.5);
  178. outline-offset: -10px;
  179. cursor: copy;
  180. }
  181. .jp-DirListing-item {
  182. display: flex;
  183. flex-direction: row;
  184. padding: 4px 12px;
  185. -webkit-user-select: none;
  186. -moz-user-select: none;
  187. -ms-user-select: none;
  188. user-select: none;
  189. }
  190. .jp-DirListing-item[data-is-dot] {
  191. opacity: 75%;
  192. }
  193. .jp-DirListing-item.jp-mod-selected {
  194. color: var(--jp-ui-inverse-font-color1);
  195. background: var(--jp-brand-color1);
  196. }
  197. .jp-DirListing-item.jp-mod-dropTarget {
  198. background: var(--jp-brand-color3);
  199. }
  200. .jp-DirListing-item:hover:not(.jp-mod-selected) {
  201. background: var(--jp-layout-color2);
  202. }
  203. .jp-DirListing-itemIcon {
  204. flex: 0 0 20px;
  205. margin-right: 4px;
  206. }
  207. .jp-DirListing-itemText {
  208. flex: 1 0 64px;
  209. white-space: nowrap;
  210. overflow: hidden;
  211. text-overflow: ellipsis;
  212. user-select: none;
  213. }
  214. .jp-DirListing-itemModified {
  215. flex: 0 0 125px;
  216. text-align: right;
  217. }
  218. .jp-DirListing-editor {
  219. flex: 1 0 64px;
  220. outline: none;
  221. border: none;
  222. }
  223. .jp-DirListing-item.jp-mod-running .jp-DirListing-itemIcon:before {
  224. color: var(--jp-success-color1);
  225. content: '\25CF';
  226. font-size: 8px;
  227. position: absolute;
  228. left: -8px;
  229. }
  230. .jp-DirListing-item.jp-mod-running.jp-mod-selected
  231. .jp-DirListing-itemIcon:before {
  232. color: var(--jp-ui-inverse-font-color1);
  233. }
  234. .jp-DirListing-item.lm-mod-drag-image,
  235. .jp-DirListing-item.jp-mod-selected.lm-mod-drag-image {
  236. font-size: var(--jp-ui-font-size1);
  237. padding-left: 4px;
  238. margin-left: 4px;
  239. width: 160px;
  240. background-color: var(--jp-ui-inverse-font-color2);
  241. box-shadow: var(--jp-elevation-z2);
  242. border-radius: 0px;
  243. color: var(--jp-ui-font-color1);
  244. transform: translateX(-40%) translateY(-58%);
  245. }
  246. .jp-DirListing-deadSpace {
  247. flex: 1 1 auto;
  248. margin: 0;
  249. padding: 0;
  250. list-style-type: none;
  251. overflow: auto;
  252. background-color: var(--jp-layout-color1);
  253. }
  254. .jp-Document {
  255. min-width: 120px;
  256. min-height: 120px;
  257. outline: none;
  258. }