index.css 6.6 KB

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