index.css 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304
  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: 4px 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. }
  57. .jp-FileBrowser-toolbar.jp-Toolbar {
  58. justify-content: space-evenly;
  59. }
  60. .jp-FileBrowser-toolbar.jp-Toolbar .jp-Toolbar-item {
  61. flex: 1;
  62. }
  63. .jp-FileBrowser-toolbar.jp-Toolbar .jp-ToolbarButtonComponent {
  64. width: 100%;
  65. }
  66. /*-----------------------------------------------------------------------------
  67. | DirListing
  68. |----------------------------------------------------------------------------*/
  69. .jp-DirListing {
  70. flex: 1 1 auto;
  71. display: flex;
  72. flex-direction: column;
  73. outline: 0;
  74. }
  75. .jp-DirListing-header {
  76. flex: 0 0 auto;
  77. display: flex;
  78. flex-direction: row;
  79. overflow: hidden;
  80. border-top: var(--jp-border-width) solid var(--jp-border-color2);
  81. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  82. box-shadow: var(--jp-toolbar-box-shadow);
  83. z-index: 2;
  84. }
  85. .jp-DirListing-headerItem {
  86. padding: 4px 12px;
  87. font-weight: 500;
  88. }
  89. .jp-DirListing-headerItem:hover {
  90. background: var(--jp-layout-color2);
  91. }
  92. .jp-DirListing-headerItem.jp-id-name {
  93. flex: 1 0 84px;
  94. }
  95. .jp-DirListing-headerItem.jp-id-modified {
  96. flex: 0 0 112px;
  97. border-left: var(--jp-border-width) solid var(--jp-border-color2);
  98. text-align: right;
  99. }
  100. .jp-DirListing-headerItem.jp-mod-selected {
  101. font-weight: 600;
  102. }
  103. .jp-DirListing-headerItemIcon {
  104. height: 16px;
  105. width: 16px;
  106. background-size: 18px;
  107. background-image: 18px;
  108. background-repeat: no-repeat;
  109. background-position: center;
  110. }
  111. .jp-DirListing-headerItem.jp-mod-selected .jp-DirListing-headerItemIcon {
  112. background-image: var(--jp-icon-caretup);
  113. }
  114. .jp-DirListing-headerItem.jp-mod-selected.jp-mod-descending
  115. .jp-DirListing-headerItemIcon {
  116. background-image: var(--jp-icon-caretdown);
  117. }
  118. .jp-DirListing-headerItem.jp-mod-selected.jp-id-name
  119. .jp-DirListing-headerItemIcon {
  120. float: right;
  121. }
  122. .jp-DirListing-headerItem.jp-mod-selected.jp-id-modified
  123. .jp-DirListing-headerItemIcon {
  124. float: left;
  125. }
  126. /* increase specificity to override bundled default */
  127. .jp-DirListing-content {
  128. flex: 1 1 auto;
  129. margin: 0;
  130. padding: 0;
  131. list-style-type: none;
  132. overflow: auto;
  133. background-color: var(--jp-layout-color1);
  134. }
  135. /* Style the directory listing content when a user drops a file to upload */
  136. .jp-DirListing.jp-mod-native-drop .jp-DirListing-content {
  137. outline: 5px dashed rgba(128, 128, 128, 0.5);
  138. outline-offset: -10px;
  139. cursor: copy;
  140. }
  141. .jp-DirListing-item {
  142. display: flex;
  143. flex-direction: row;
  144. padding: 4px 12px;
  145. -webkit-user-select: none;
  146. -moz-user-select: none;
  147. -ms-user-select: none;
  148. user-select: none;
  149. }
  150. .jp-DirListing-item.jp-mod-selected {
  151. color: white;
  152. background: var(--jp-brand-color1);
  153. }
  154. .jp-DirListing-item.jp-mod-dropTarget {
  155. background: var(--jp-brand-color3);
  156. }
  157. .jp-DirListing-item:hover:not(.jp-mod-selected) {
  158. background: var(--jp-layout-color2);
  159. }
  160. .jp-DirListing-itemIcon {
  161. flex: 0 0 20px;
  162. margin-right: 4px;
  163. }
  164. .jp-DirListing-itemText {
  165. flex: 1 0 64px;
  166. white-space: nowrap;
  167. overflow: hidden;
  168. text-overflow: ellipsis;
  169. user-select: none;
  170. }
  171. .jp-DirListing-itemModified {
  172. flex: 0 0 125px;
  173. text-align: right;
  174. }
  175. .jp-DirListing-editor {
  176. flex: 1 0 64px;
  177. outline: none;
  178. border: none;
  179. }
  180. .jp-DirListing-item.jp-mod-running .jp-DirListing-itemIcon:before {
  181. color: limegreen;
  182. content: '\25CF';
  183. font-size: 8px;
  184. position: relative;
  185. width: 100%;
  186. height: 100%;
  187. top: -2px;
  188. left: -8px;
  189. }
  190. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-NotebookIcon {
  191. background-image: var(--jp-icon-book-selected);
  192. }
  193. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-OpenFolderIcon {
  194. background-image: var(--jp-icon-directory-selected);
  195. }
  196. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-FileIcon {
  197. background-image: var(--jp-icon-file-selected);
  198. }
  199. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-YamlIcon {
  200. background-image: var(--jp-icon-yaml-selected);
  201. }
  202. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-MarkdownIcon {
  203. background-image: var(--jp-icon-markdown-selected);
  204. }
  205. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-ImageIcon {
  206. background-image: var(--jp-icon-image-selected);
  207. }
  208. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-SpreadsheetIcon {
  209. background-image: var(--jp-icon-spreadsheet-selected);
  210. }
  211. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-JSONIcon {
  212. background-image: var(--jp-icon-json-selected);
  213. }
  214. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-PythonIcon {
  215. background-image: var(--jp-icon-python-selected);
  216. }
  217. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-RKernelIcon {
  218. background-image: var(--jp-icon-r-selected);
  219. }
  220. .jp-DirListing-item.p-mod-drag-image,
  221. .jp-DirListing-item.jp-mod-selected.p-mod-drag-image {
  222. font-size: var(--jp-ui-font-size1);
  223. padding-left: 4px;
  224. margin-left: 4px;
  225. width: 160px;
  226. background-color: var(--jp-ui-inverse-font-color2);
  227. box-shadow: var(--jp-elevation-z2);
  228. border-radius: 0px;
  229. color: var(--jp-ui-font-color1);
  230. transform: translateX(-40%) translateY(-58%);
  231. }
  232. .jp-DirListing-deadSpace {
  233. flex: 1 1 auto;
  234. margin: 0;
  235. padding: 0;
  236. list-style-type: none;
  237. overflow: auto;
  238. background-color: var(--jp-layout-color1);
  239. }
  240. .jp-Document {
  241. min-width: 120px;
  242. min-height: 120px;
  243. outline: none;
  244. }
  245. .jp-FileDialog.jp-mod-conflict input {
  246. color: red;
  247. }
  248. .jp-FileDialog .jp-new-name-title {
  249. margin-top: 12px;
  250. }