index.css 3.8 KB

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