theme.css 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-FileBrowser {
  6. min-width: 300px;
  7. color: #757575;
  8. background: #FAFAFA;
  9. font-size: 14px;
  10. }
  11. .jp-BreadCrumbs {
  12. margin: 4px 4px 4px 6px;
  13. }
  14. .jp-BreadCrumbs-item {
  15. margin: 0px 4px;
  16. cursor: pointer;
  17. }
  18. .jp-BreadCrumbs-item:first-child {
  19. margin-left: 0px;
  20. }
  21. .jp-BreadCrumbs-item.jp-mod-dropTarget {
  22. background: #FEDBC4;
  23. }
  24. .jp-FileButtons {
  25. border-top: 1px solid #E0E0E0;
  26. border-bottom: 1px solid #E0E0E0;
  27. padding: 9px 0;
  28. }
  29. .jp-FileButtons-button {
  30. flex: 1 1 auto;
  31. max-width: 100px;
  32. padding: 4px 6px;
  33. color: #757575;
  34. background: #FAFAFA;
  35. border: none;
  36. font-size: 16px;
  37. outline: 0;
  38. }
  39. .jp-FileButtons-button::-moz-focus-inner {
  40. border: 0;
  41. }
  42. .jp-FileButtons-button:hover {
  43. background: #F5F5F5;
  44. border-color: #D0D0D0;
  45. z-index: 1; /* raise overlapping border */
  46. }
  47. .jp-FileButtons-button:active,
  48. .jp-FileButtons-button.jp-id-create.jp-mod-active {
  49. background: #EEEEEE;
  50. border-color: #BDBDBD;
  51. z-index: 1; /* raise overlapping border */
  52. }
  53. .jp-FileButtons-button.jp-id-create {
  54. border-top-left-radius: 4px;
  55. border-bottom-left-radius: 4px;
  56. }
  57. .jp-FileButtons-button.jp-id-upload {
  58. margin-left: -1px; /* overlap borders */
  59. }
  60. .jp-FileButtons-button.jp-id-refresh {
  61. margin-left: -1px; /* overlap borders */
  62. border-top-right-radius: 4px;
  63. border-bottom-right-radius: 4px;
  64. }
  65. .jp-DirListing {
  66. outline: 0;
  67. }
  68. .jp-DirListing-header {
  69. margin-bottom: 4px;
  70. border-top: 1px solid #E0E0E0;
  71. border-bottom: 1px solid #E0E0E0;
  72. }
  73. .jp-DirListing-headerItem {
  74. padding: 4px 6px;
  75. font-weight: 500;
  76. }
  77. .jp-DirListing-headerItem:hover {
  78. background: #EEEEEE;
  79. border-radius: 2px;
  80. }
  81. .jp-DirListing-headerItem.jp-id-name {
  82. flex: 1 0 84px;
  83. }
  84. .jp-DirListing-headerItem.jp-id-modified {
  85. flex: 0 0 112px;
  86. border-left: 1px solid #E0E0E0;
  87. }
  88. .jp-DirListing-headerItem.jp-mod-selected {
  89. font-weight: 600;
  90. }
  91. .jp-DirListing-headerItem.jp-mod-selected .jp-DirListing-headerItemIcon:before {
  92. font-family: FontAwesome;
  93. content: "\f0d8";
  94. float: right;
  95. }
  96. .jp-DirListing-headerItem.jp-mod-selected.jp-mod-descending .jp-DirListing-headerItemIcon:before {
  97. font-family: FontAwesome;
  98. content: "\f0d7";
  99. float: right;
  100. }
  101. /* increase specificity to override bundled default */
  102. .jp-DirListing > .jp-DirListing-content {
  103. padding: 0px 8px;
  104. }
  105. .jp-DirListing-item {
  106. padding: 4px;
  107. }
  108. .jp-DirListing-item.jp-mod-selected {
  109. color: white;
  110. background: #F27624;
  111. border-radius: 2px;
  112. }
  113. .jp-DirListing-item.jp-mod-dropTarget {
  114. background: #FEDBC4;
  115. }
  116. .jp-DirListing-item:hover:not(.jp-mod-selected) {
  117. background: #EEEEEE;
  118. }
  119. .jp-DirListing-itemIcon {
  120. flex: 0 0 20px;
  121. font-family: FontAwesome;
  122. }
  123. .jp-DirListing-itemText {
  124. flex: 1 0 64px;
  125. white-space: nowrap;
  126. overflow: hidden;
  127. text-overflow: ellipsis;
  128. }
  129. .jp-DirListing-itemModified {
  130. flex: 0 0 108px;
  131. text-align: right;
  132. }
  133. .jp-DirListing-editor {
  134. flex: 1 0 64px;
  135. }
  136. /** TODO
  137. .jp-DirListing-item.jp-mod-selected.jp-mod-cut {
  138. background: #F1C40F;
  139. color: #F5F5F5;
  140. }
  141. **/
  142. .jp-type-folder.jp-DirListing-itemIcon:before {
  143. content: "\f114";
  144. }
  145. .jp-type-file.jp-DirListing-itemIcon:before {
  146. content: "\f016";
  147. }
  148. .jp-type-notebook.jp-DirListing-itemIcon:before {
  149. content: "\f02d";
  150. }
  151. .jp-DirListing-item.jp-mod-running .jp-DirListing-itemIcon {
  152. color: #27AE60;
  153. }