index.css 7.4 KB

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