index.css 5.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348
  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. background: #EFEFEF;
  9. overflow: hidden;
  10. }
  11. .p-AppShell.p-Widget {
  12. position: absolute;
  13. top: 0;
  14. left: 0;
  15. right: 0;
  16. bottom: 0;
  17. }
  18. .p-SideBar {
  19. min-width: 36px;
  20. max-width: 36px;
  21. font-size: 13px;
  22. font-family: Helvetica, Arial;
  23. background: #F7F7F7;
  24. }
  25. .p-SideBar.p-Widget {
  26. overflow: visible;
  27. }
  28. .p-SideBar.p-mod-left {
  29. border-right: 1px solid #C0C0C0;
  30. }
  31. .p-SideBar.p-mod-right {
  32. border-left: 1px solid #C0C0C0;
  33. }
  34. .p-SideBar-content {
  35. height: 35px;
  36. transform-origin: 0 0 0;
  37. }
  38. .p-SideBar.p-mod-left > .p-SideBar-content {
  39. flex-direction: row-reverse;
  40. transform: rotate(-90deg) translateX(-100%);
  41. }
  42. .p-SideBar.p-mod-right > .p-SideBar-content {
  43. flex-direction: row;
  44. transform: rotate(90deg) translateY(-100%);
  45. }
  46. .p-SideBar-button {
  47. padding: 0 18px;
  48. line-height: 35px;
  49. }
  50. .p-SideBar-button:hover:not(.p-mod-current) {
  51. background: white;
  52. }
  53. .p-SideBar-button.p-mod-current {
  54. background: white;
  55. min-height: 36px;
  56. }
  57. .p-SideBar.p-mod-left .p-SideBar-button {
  58. border-left: 1px solid #C0C0C0;
  59. }
  60. .p-SideBar.p-mod-right .p-SideBar-button {
  61. border-right: 1px solid #C0C0C0;
  62. }
  63. #p-left-stack {
  64. padding: 5px;
  65. background: white;
  66. }
  67. #p-right-stack {
  68. padding: 5px;
  69. background: white;
  70. }
  71. .red-content {
  72. background: #E74C3C;
  73. border: 1px solid black;
  74. min-width: 100px;
  75. }
  76. .yellow-content {
  77. background: #F1C40F;
  78. border: 1px solid black;
  79. min-width: 100px;
  80. }
  81. .green-content {
  82. background: #27AE60;
  83. border: 1px solid black;
  84. min-width: 100px;
  85. }
  86. .blue-content {
  87. background: #3498DB;
  88. border: 1px solid black;
  89. min-width: 100px;
  90. }
  91. #p-main-dock-panel {
  92. padding: 8px;
  93. }
  94. .p-Widget.p-DockSplitPanel {
  95. overflow: visible;
  96. }
  97. .p-DockTabPanel {
  98. border-left: 1px solid #C0C0C0;
  99. border-right: 1px solid #C0C0C0;
  100. border-bottom: 1px solid #B0B0B0;
  101. box-shadow: 0px 1px 1px rgba(0, 0, 0, 0.1);
  102. }
  103. .p-DockTabPanel > .p-StackedPanel {
  104. padding: 8px;
  105. background: white;
  106. }
  107. .p-DockPanel-overlay {
  108. background: rgba(64, 151, 234, 0.1);
  109. border: 1px dashed #4097EA;
  110. }
  111. .p-DockPanel-overlay.p-mod-root-top,
  112. .p-DockPanel-overlay.p-mod-root-left,
  113. .p-DockPanel-overlay.p-mod-root-right,
  114. .p-DockPanel-overlay.p-mod-root-bottom,
  115. .p-DockPanel-overlay.p-mod-root-center {
  116. border-width: 2px;
  117. }
  118. .p-TabBar {
  119. min-height: 24px;
  120. max-height: 24px;
  121. background: #F7F7F7;
  122. }
  123. /* the child selectors just increase specificity :-( */
  124. .p-TabBar > .p-TabBar-header {
  125. flex: 0 0 1px;
  126. background: #D0D0D0;
  127. }
  128. .p-TabBar > .p-TabBar-footer {
  129. flex: 0 0 1px;
  130. background: #C0C0C0;
  131. }
  132. .p-TabBar .p-TabBar-content {
  133. min-width: 0;
  134. max-height: 22px;
  135. }
  136. .p-TabBar-tab {
  137. flex-basis: 125px;
  138. min-height: 23px;
  139. max-height: 23px;
  140. min-width: 35px;
  141. margin-left: -1px;
  142. border-top: 1px solid #C0C0C0;
  143. border-left: 1px solid #C0C0C0;
  144. border-right: 1px solid #C0C0C0;
  145. padding: 0px 10px;
  146. background: #EBEBEB;
  147. font: 12px Helvetica, Arial, sans-serif;
  148. transform: translateY(-1px);
  149. }
  150. .p-TabBar-tab:last-child {
  151. margin-right: -1px;
  152. }
  153. .p-TabBar-tab.p-mod-current {
  154. border-top: 1px solid #4097EA;
  155. background: white;
  156. min-height: 24px;
  157. max-height: 24px;
  158. }
  159. .p-TabBar-tab:hover:not(.p-mod-current) {
  160. background: #F0F0F0;
  161. }
  162. .p-TabBar-tabIcon,
  163. .p-TabBar-tabText,
  164. .p-TabBar-tabCloseIcon {
  165. line-height: 22px;
  166. }
  167. .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  168. margin-left: 4px;
  169. }
  170. .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon:before {
  171. content: '\f00d';
  172. font-family: FontAwesome;
  173. }
  174. .p-TabBar-tab.p-mod-drag-image {
  175. min-height: 24px;
  176. min-width: 125px;
  177. border: none;
  178. border-top: 1px solid #4097EA;
  179. box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.3);
  180. transform: translateX(-40%) translateY(-58%);
  181. }
  182. #p-main-split-panel > .p-SplitPanel-handle {
  183. background: #C0C0C0;
  184. }
  185. .p-MenuBar {
  186. padding-left: 5px;
  187. background: #FEFEFE;
  188. color: rgba(0, 0, 0, 0.87);
  189. border-bottom: 1px solid #DDDDDD;
  190. font: 13px Helvetica, Arial, sans-serif;
  191. }
  192. .p-MenuBar-menu {
  193. transform: translateY(-1px);
  194. }
  195. .p-MenuBar-item {
  196. padding: 4px 8px;
  197. border-left: 1px solid transparent;
  198. border-right: 1px solid transparent;
  199. }
  200. .p-MenuBar-item.p-mod-active {
  201. background: #E5E5E5;
  202. }
  203. .p-MenuBar-item.p-mod-disabled {
  204. color: rgba(0, 0, 0, 0.26);
  205. }
  206. .p-MenuBar-item.p-mod-separator-type {
  207. margin: 2px;
  208. padding: 0;
  209. border: none;
  210. border-left: 1px solid #DDDDDD;
  211. }
  212. .p-MenuBar.p-mod-active .p-MenuBar-item.p-mod-active {
  213. z-index: 1000000;
  214. background: white;
  215. border-left: 1px solid #C0C0C0;
  216. border-right: 1px solid #C0C0C0;
  217. box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.2);
  218. }
  219. .p-Menu {
  220. background: white;
  221. color: rgba(0, 0, 0, 0.87);
  222. border: 1px solid #C0C0C0;
  223. font: 12px Helvetica, Arial, sans-serif;
  224. box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
  225. }
  226. .p-Menu-item.p-mod-active {
  227. background: #E5E5E5;
  228. }
  229. .p-Menu-item.p-mod-disabled {
  230. color: rgba(0, 0, 0, 0.26);
  231. }
  232. .p-Menu-item.p-mod-separator-type > span::after {
  233. border-top: 1px solid #DDDDDD;
  234. }
  235. .p-Menu-item-icon::before,
  236. .p-Menu-item-submenu::before {
  237. font-family: FontAwesome;
  238. }
  239. .p-Menu-item.p-mod-check-type.p-mod-checked > .p-Menu-item-icon::before {
  240. content: '\f00c';
  241. }
  242. .p-Menu-item.p-mod-submenu-type > .p-Menu-item-submenu::before {
  243. content: '\f0da';
  244. }