base.css 2.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. :root {
  6. --jp-private-menu-panel-height: 27px;
  7. }
  8. .lm-Widget.lm-mod-hidden {
  9. display: none !important;
  10. }
  11. body {
  12. font-family: var(--jp-ui-font-family);
  13. background: var(--jp-layout-color3);
  14. margin: 0;
  15. padding: 0;
  16. overflow: hidden;
  17. }
  18. .jp-LabShell {
  19. position: absolute;
  20. top: 0;
  21. left: 0;
  22. right: 0;
  23. bottom: 0;
  24. }
  25. .jp-LabShell.jp-mod-devMode {
  26. border-top: 4px solid red;
  27. }
  28. #jp-main-dock-panel {
  29. padding: 5px;
  30. }
  31. #jp-main-dock-panel[data-mode='single-document'] {
  32. padding: 0;
  33. }
  34. #jp-main-dock-panel[data-mode='single-document'] .jp-MainAreaWidget {
  35. border: none;
  36. }
  37. #jp-top-panel {
  38. border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  39. background: var(--jp-layout-color1);
  40. display: flex;
  41. min-height: var(--jp-private-menubar-height);
  42. overflow: visible;
  43. }
  44. #jp-menu-panel {
  45. min-height: var(--jp-private-menu-panel-height);
  46. background: var(--jp-layout-color1);
  47. }
  48. .jp-LabShell[data-shell-mode='single-document'] #jp-top-panel {
  49. border-bottom: none;
  50. }
  51. .jp-LabShell[data-shell-mode='single-document'] #jp-menu-panel {
  52. padding-left: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
  53. border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  54. /* Adjust min-height so open menus show up in the right place */
  55. min-height: calc(var(--jp-private-menu-panel-height) + var(--jp-border-width));
  56. }
  57. #jp-MainLogo {
  58. width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width))
  59. }
  60. #jp-bottom-panel {
  61. background: var(--jp-layout-color1);
  62. display: flex;
  63. }
  64. #jp-top-spacer {
  65. flex-grow: 1;
  66. }
  67. #jp-single-document-mode {
  68. margin: 0px 8px;
  69. display: flex;
  70. align-items: center;
  71. }
  72. /* Sibling imports */
  73. @import './datagrid.css';
  74. @import './dockpanel.css';
  75. @import './menus.css';
  76. @import './scrollbar.css';
  77. @import './tabs.css';
  78. @import './buttons.css';
  79. @import './sidepanel.css';
  80. @import './titlepanel.css';