index.css 6.8 KB

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