index.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144
  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: #F5F6F7;
  9. overflow: hidden;
  10. }
  11. #main {
  12. position: absolute;
  13. top: 10px;
  14. left: 10px;
  15. right: 10px;
  16. bottom: 10px;
  17. }
  18. .jp-CodeMirrorWidget {
  19. min-height: 200px;
  20. min-width: 200px;
  21. }
  22. .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon:before {
  23. font-family: FontAwesome;
  24. content: '\f00d'; /* close */
  25. }
  26. .p-TabBar-tab.p-mod-closable.jp-mod-dirty > .p-TabBar-tabCloseIcon:before {
  27. font-family: FontAwesome;
  28. content: '\f069'; /* asterisk */
  29. }
  30. .p-DockTabPanel {
  31. padding-right: 2px;
  32. padding-bottom: 2px;
  33. }
  34. .p-DockTabPanel > .p-StackedPanel {
  35. padding: 10px;
  36. background: white;
  37. border: 1px solid #C0C0C0;
  38. border-top: none;
  39. box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.2);
  40. }
  41. .p-DockPanel-overlay {
  42. background: rgba(255, 255, 255, 0.6);
  43. border: 1px dashed black;
  44. }
  45. .p-DockPanel-overlay.p-mod-root-top,
  46. .p-DockPanel-overlay.p-mod-root-left,
  47. .p-DockPanel-overlay.p-mod-root-right,
  48. .p-DockPanel-overlay.p-mod-root-bottom,
  49. .p-DockPanel-overlay.p-mod-root-center {
  50. border-width: 2px;
  51. }
  52. .p-TabBar {
  53. min-height: 24px;
  54. max-height: 24px;
  55. }
  56. .p-TabBar-header {
  57. display: none;
  58. }
  59. .p-TabBar-footer {
  60. flex: 0 0 1px;
  61. background: #C0C0C0;
  62. }
  63. .p-TabBar-content {
  64. min-width: 0;
  65. align-items: flex-end;
  66. }
  67. .p-TabBar-tab {
  68. flex: 0 1 125px;
  69. min-height: 20px;
  70. max-height: 20px;
  71. min-width: 35px;
  72. margin-left: -1px;
  73. border: 1px solid #C0C0C0;
  74. border-bottom: none;
  75. padding: 0px 10px;
  76. background: #E5E5E5;
  77. font: 12px Helvetica, Arial, sans-serif;
  78. }
  79. .p-TabBar-tab:first-child {
  80. margin-left: 0;
  81. }
  82. .p-TabBar-tab.p-mod-current {
  83. min-height: 23px;
  84. max-height: 23px;
  85. background: white;
  86. transform: translateY(1px);
  87. }
  88. .p-TabBar-tab:hover:not(.p-mod-current) {
  89. background: #F0F0F0;
  90. }
  91. .p-TabBar-tabIcon,
  92. .p-TabBar-tabText,
  93. .p-TabBar-tabCloseIcon {
  94. line-height: 20px;
  95. }
  96. .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  97. margin-left: 4px;
  98. }
  99. .p-TabBar-tab.p-mod-drag-image {
  100. min-height: 23px;
  101. max-height: 23px;
  102. min-width: 125px;
  103. border: none;
  104. box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.3);
  105. transform: translateX(-40%) translateY(-58%);
  106. }