index.css 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280
  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. font-size: var(--jp-ui-font-size1);
  22. }
  23. .jp-FileBrowser-toolbar {
  24. border-bottom: none;
  25. height: auto;
  26. margin: var(--jp-toolbar-header-margin);
  27. }
  28. .jp-BreadCrumbs {
  29. flex: 0 0 auto;
  30. margin: 4px 12px;
  31. }
  32. .jp-BreadCrumbs-item {
  33. margin: 0px 4px;
  34. cursor: pointer;
  35. }
  36. .jp-BreadCrumbs-item:first-child {
  37. margin-left: 0px;
  38. }
  39. .jp-BreadCrumbs-item.jp-mod-dropTarget {
  40. background-color: var(--jp-brand-color2);
  41. opacity: 0.7;
  42. }
  43. /*-----------------------------------------------------------------------------
  44. | Buttons
  45. |----------------------------------------------------------------------------*/
  46. .jp-FileBrowser-toolbar > .jp-Toolbar-button {
  47. flex: 1 1 auto;
  48. height: var(--jp-private-filebrowser-button-height);
  49. line-height: var(--jp-private-filebrowser-button-height);
  50. color: var(--jp-ui-font-color1);
  51. font-size: var(--jp-ui-icon-font-size);
  52. outline: 0;
  53. margin-bottom: 4px;
  54. }
  55. .jp-FileBrowser-toolbar > .jp-Toolbar-button:focus {
  56. box-shadow: var(--jp-toolbar-box-shadow);
  57. border-color: var(--jp-toolbar-border-color);
  58. }
  59. /*-----------------------------------------------------------------------------
  60. | DirListing
  61. |----------------------------------------------------------------------------*/
  62. .jp-DirListing {
  63. flex: 1 1 auto;
  64. display: flex;
  65. flex-direction: column;
  66. outline: 0;
  67. }
  68. .jp-DirListing-header {
  69. flex: 0 0 auto;
  70. display: flex;
  71. flex-direction: row;
  72. overflow: hidden;
  73. border-top: var(--jp-border-width) solid var(--jp-border-color2);
  74. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  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-headerItem.jp-mod-selected .jp-DirListing-headerItemIcon:before {
  95. font-family: FontAwesome;
  96. content: "\f0d8";
  97. }
  98. .jp-DirListing-headerItem.jp-mod-selected.jp-mod-descending .jp-DirListing-headerItemIcon:before {
  99. font-family: FontAwesome;
  100. content: "\f0d7";
  101. }
  102. .jp-DirListing-headerItem.jp-mod-selected.jp-id-name .jp-DirListing-headerItemIcon:before {
  103. float: right;
  104. }
  105. .jp-DirListing-headerItem.jp-mod-selected.jp-id-modified .jp-DirListing-headerItemIcon:before {
  106. float: left;
  107. }
  108. /* increase specificity to override bundled default */
  109. .jp-DirListing-content {
  110. flex: 1 1 auto;
  111. margin: 0;
  112. padding: 0;
  113. list-style-type: none;
  114. overflow: auto;
  115. }
  116. .jp-DirListing-item {
  117. display: flex;
  118. flex-direction: row;
  119. padding: 4px 12px;
  120. -webkit-user-select: none;
  121. -moz-user-select: none;
  122. -ms-user-select: none;
  123. user-select: none;
  124. }
  125. .jp-DirListing-item.jp-mod-selected {
  126. color: white;
  127. background: var(--jp-brand-color1);
  128. }
  129. .jp-DirListing-item.jp-mod-dropTarget {
  130. background: var(--jp-brand-color3);
  131. }
  132. .jp-DirListing-item:hover:not(.jp-mod-selected) {
  133. background: var(--jp-layout-color2)
  134. }
  135. .jp-DirListing-itemIcon {
  136. flex: 0 0 20px;
  137. font-family: FontAwesome;
  138. font-size: 14px;
  139. margin-right: 4px;
  140. }
  141. .jp-DirListing-itemText {
  142. flex: 1 0 64px;
  143. white-space: nowrap;
  144. overflow: hidden;
  145. text-overflow: ellipsis;
  146. user-select: none;
  147. }
  148. .jp-DirListing-itemModified {
  149. flex: 0 0 108px;
  150. text-align: right;
  151. }
  152. .jp-DirListing-editor {
  153. flex: 1 0 64px;
  154. outline: none;
  155. border: none;
  156. }
  157. .jp-type-folder.jp-DirListing-itemIcon:before {
  158. content: "\f114";
  159. }
  160. .jp-type-file.jp-DirListing-itemIcon:before {
  161. content: "\f016";
  162. }
  163. .jp-type-notebook.jp-DirListing-itemIcon:before {
  164. content: "\f02d";
  165. }
  166. .jp-DirListing-item.jp-mod-running .jp-DirListing-itemIcon {
  167. background-image: var(--jp-icon-book-running);
  168. }
  169. .jp-DirListing-item.jp-mod-running.jp-mod-selected .jp-DirListing-itemIcon {
  170. color: var(--jp-accent-color3);
  171. background-image: var(--jp-icon-book-selected);
  172. }
  173. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-OpenFolderIcon {
  174. background-image: var(--jp-icon-directory-selected);
  175. }
  176. .jp-DirListing-item.jp-mod-selected .jp-DirListing-itemIcon.jp-FileIcon {
  177. background-image: var(--jp-icon-file-selected);
  178. }
  179. .jp-DirListing-item.p-mod-drag-image,
  180. .jp-DirListing-item.jp-mod-selected.p-mod-drag-image {
  181. font-size: var(--jp-ui-font-size1);
  182. padding-left: 4px;
  183. margin-left: 4px;
  184. width: 160px;
  185. background-color: rgba(255,255,255,.7);
  186. box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23);
  187. border-radius: 0px;
  188. color: var(--jp-ui-font-color1);
  189. transform: translateX(-2%) translateY(4%);
  190. }
  191. .jp-Document {
  192. min-width: 120px;
  193. min-height: 120px;
  194. outline: none;
  195. }
  196. .jp-FileDialog.jp-mod-conflict input {
  197. color: red;
  198. }