base.css 6.9 KB

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