index.css 4.0 KB

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