index.css 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263
  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. font-family: FontAwesome;
  91. content: '\f00d'; /* close */
  92. }
  93. .p-TabBar-tab.p-mod-closable.jp-mod-dirty > .p-TabBar-tabCloseIcon:before {
  94. font-family: FontAwesome;
  95. content: '\f069'; /* asterisk */
  96. }
  97. .p-TabBar-tab.p-mod-drag-image {
  98. min-height: 23px;
  99. max-height: 23px;
  100. min-width: 125px;
  101. border: none;
  102. box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.3);
  103. transform: translateX(-40%) translateY(-58%);
  104. }
  105. .p-MenuBar {
  106. padding-left: 5px;
  107. background: #FAFAFA;
  108. color: rgba(0, 0, 0, 0.87);
  109. border-bottom: 1px solid #DDDDDD;
  110. font: 13px Helvetica, Arial, sans-serif;
  111. }
  112. .p-MenuBar-menu {
  113. transform: translateY(-1px);
  114. }
  115. .p-MenuBar-item {
  116. padding: 4px 8px;
  117. border-left: 1px solid transparent;
  118. border-right: 1px solid transparent;
  119. }
  120. .p-MenuBar-item.p-mod-active {
  121. background: #E5E5E5;
  122. }
  123. .p-MenuBar-item.p-mod-disabled {
  124. color: rgba(0, 0, 0, 0.26);
  125. }
  126. .p-MenuBar-item.p-type-separator {
  127. margin: 2px;
  128. padding: 0;
  129. border: none;
  130. border-left: 1px solid #DDDDDD;
  131. }
  132. .p-MenuBar.p-mod-active .p-MenuBar-item.p-mod-active {
  133. z-index: 10001;
  134. background: white;
  135. border-left: 1px solid #C0C0C0;
  136. border-right: 1px solid #C0C0C0;
  137. box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.2);
  138. }
  139. .p-Menu {
  140. z-index: 10000;
  141. padding: 3px 0px;
  142. background: white;
  143. color: rgba(0, 0, 0, 0.87);
  144. border: 1px solid #C0C0C0;
  145. font: 12px Helvetica, Arial, sans-serif;
  146. box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
  147. }
  148. .p-Menu-item.p-mod-active {
  149. background: #E5E5E5;
  150. }
  151. .p-Menu-item.p-mod-disabled {
  152. color: rgba(0, 0, 0, 0.26);
  153. }
  154. .p-Menu-itemIcon {
  155. width: 21px;
  156. padding: 4px 2px;
  157. }
  158. .p-Menu-itemText {
  159. padding: 4px 35px 4px 2px;
  160. }
  161. .p-Menu-itemShortcut {
  162. padding: 4px 0px;
  163. }
  164. .p-Menu-itemSubmenuIcon {
  165. width: 16px;
  166. padding: 4px 0px;
  167. }
  168. .p-Menu-item.p-type-separator > span {
  169. padding: 0;
  170. height: 9px;
  171. }
  172. .p-Menu-item.p-type-separator > span::after {
  173. content: '';
  174. display: block;
  175. position: relative;
  176. top: 4px;
  177. border-top: 1px solid #DDDDDD;
  178. }
  179. .p-Menu-itemIcon::before,
  180. .p-Menu-itemSubmenuIcon::before {
  181. font-family: FontAwesome;
  182. }
  183. .p-Menu-item.p-type-check.p-mod-checked > .p-Menu-itemIcon::before {
  184. content: '\f00c';
  185. }
  186. .p-Menu-item.p-type-submenu > .p-Menu-itemSubmenuIcon::before {
  187. content: '\f0da';
  188. }