index.css 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. body {
  6. margin: 0;
  7. padding: 0;
  8. }
  9. #main {
  10. position: absolute;
  11. top: 10px;
  12. left: 10px;
  13. right: 10px;
  14. bottom: 10px;
  15. padding: 8px;
  16. }
  17. .jp-FileBrowser.p-Widget {
  18. min-width: 400px;
  19. }
  20. .p-SplitPanel {
  21. height: 100%;
  22. }
  23. .p-DockTabPanel {
  24. padding-right: 2px;
  25. padding-bottom: 2px;
  26. }
  27. .p-DockTabPanel > .p-StackedPanel {
  28. padding: 10px;
  29. background: white;
  30. border: 1px solid #C0C0C0;
  31. border-top: none;
  32. box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.2);
  33. }
  34. .p-DockPanel-overlay {
  35. background: rgba(255, 255, 255, 0.6);
  36. border: 1px dashed black;
  37. }
  38. .p-DockPanel-overlay.p-mod-root-top,
  39. .p-DockPanel-overlay.p-mod-root-left,
  40. .p-DockPanel-overlay.p-mod-root-right,
  41. .p-DockPanel-overlay.p-mod-root-bottom,
  42. .p-DockPanel-overlay.p-mod-root-center {
  43. border-width: 2px;
  44. }
  45. .p-TabBar {
  46. min-height: 24px;
  47. max-height: 24px;
  48. }
  49. .p-TabBar-header {
  50. display: none;
  51. }
  52. .p-TabBar-footer {
  53. flex: 0 0 1px;
  54. background: #C0C0C0;
  55. }
  56. .p-TabBar-content {
  57. min-width: 0;
  58. align-items: flex-end;
  59. }
  60. .p-TabBar-tab {
  61. flex: 0 1 125px;
  62. min-height: 20px;
  63. max-height: 20px;
  64. min-width: 35px;
  65. margin-left: -1px;
  66. border: 1px solid #C0C0C0;
  67. border-bottom: none;
  68. padding: 0px 10px;
  69. background: #E5E5E5;
  70. font: 12px Helvetica, Arial, sans-serif;
  71. }
  72. .p-TabBar-tab:first-child {
  73. margin-left: 0;
  74. }
  75. .p-TabBar-tab.p-mod-current {
  76. min-height: 23px;
  77. max-height: 23px;
  78. background: white;
  79. transform: translateY(1px);
  80. }
  81. .p-TabBar-tab:hover:not(.p-mod-current) {
  82. background: #F0F0F0;
  83. }
  84. .p-TabBar-tabIcon,
  85. .p-TabBar-tabText,
  86. .p-TabBar-tabCloseIcon {
  87. line-height: 20px;
  88. }
  89. .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  90. margin-left: 4px;
  91. }
  92. .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon:before {
  93. font-family: FontAwesome;
  94. content: '\f00d'; /* close */
  95. }
  96. .p-TabBar-tab.p-mod-closable.jp-mod-dirty > .p-TabBar-tabCloseIcon:before {
  97. font-family: FontAwesome;
  98. content: '\f069'; /* asterisk */
  99. }
  100. .p-TabBar-tab.p-mod-drag-image {
  101. min-height: 23px;
  102. max-height: 23px;
  103. min-width: 125px;
  104. border: none;
  105. box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.3);
  106. transform: translateX(-40%) translateY(-58%);
  107. }
  108. .p-MenuBar {
  109. padding-left: 5px;
  110. background: #FAFAFA;
  111. color: rgba(0, 0, 0, 0.87);
  112. border-bottom: 1px solid #DDDDDD;
  113. font: 13px Helvetica, Arial, sans-serif;
  114. }
  115. .p-MenuBar-menu {
  116. transform: translateY(-1px);
  117. }
  118. .p-MenuBar-item {
  119. padding: 4px 8px;
  120. border-left: 1px solid transparent;
  121. border-right: 1px solid transparent;
  122. }
  123. .p-MenuBar-item.p-mod-active {
  124. background: #E5E5E5;
  125. }
  126. .p-MenuBar-item.p-mod-disabled {
  127. color: rgba(0, 0, 0, 0.26);
  128. }
  129. .p-MenuBar-item.p-type-separator {
  130. margin: 2px;
  131. padding: 0;
  132. border: none;
  133. border-left: 1px solid #DDDDDD;
  134. }
  135. .p-MenuBar.p-mod-active .p-MenuBar-item.p-mod-active {
  136. z-index: 10001;
  137. background: white;
  138. border-left: 1px solid #C0C0C0;
  139. border-right: 1px solid #C0C0C0;
  140. box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.2);
  141. }
  142. .p-Menu {
  143. z-index: 10000;
  144. padding: 3px 0px;
  145. background: white;
  146. color: rgba(0, 0, 0, 0.87);
  147. border: 1px solid #C0C0C0;
  148. font: 12px Helvetica, Arial, sans-serif;
  149. box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
  150. }
  151. .p-Menu-item.p-mod-active {
  152. background: #E5E5E5;
  153. }
  154. .p-Menu-item.p-mod-disabled {
  155. color: rgba(0, 0, 0, 0.26);
  156. }
  157. .p-Menu-itemIcon {
  158. width: 21px;
  159. padding: 4px 2px;
  160. }
  161. .p-Menu-itemText {
  162. padding: 4px 35px 4px 2px;
  163. }
  164. .p-Menu-itemShortcut {
  165. padding: 4px 0px;
  166. }
  167. .p-Menu-itemSubmenuIcon {
  168. width: 16px;
  169. padding: 4px 0px;
  170. }
  171. .p-Menu-item.p-type-separator > span {
  172. padding: 0;
  173. height: 9px;
  174. }
  175. .p-Menu-item.p-type-separator > span::after {
  176. content: '';
  177. display: block;
  178. position: relative;
  179. top: 4px;
  180. border-top: 1px solid #DDDDDD;
  181. }
  182. .p-Menu-itemIcon::before,
  183. .p-Menu-itemSubmenuIcon::before {
  184. font-family: FontAwesome;
  185. }
  186. .p-Menu-item.p-type-check.p-mod-checked > .p-Menu-itemIcon::before {
  187. content: '\f00c';
  188. }
  189. .p-Menu-item.p-type-submenu > .p-Menu-itemSubmenuIcon::before {
  190. content: '\f0da';
  191. }