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