base.css 2.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  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-down-stack {
  49. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  50. }
  51. .jp-LabShell[data-shell-mode='single-document'] #jp-top-panel {
  52. border-bottom: none;
  53. }
  54. .jp-LabShell[data-shell-mode='single-document'] #jp-menu-panel {
  55. padding-left: calc(
  56. var(--jp-private-sidebar-tab-width) + var(--jp-border-width)
  57. );
  58. border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  59. /* Adjust min-height so open menus show up in the right place */
  60. min-height: calc(
  61. var(--jp-private-menu-panel-height) + var(--jp-border-width)
  62. );
  63. }
  64. #jp-bottom-panel {
  65. background: var(--jp-layout-color1);
  66. display: flex;
  67. }
  68. #jp-single-document-mode {
  69. margin: 0px 8px;
  70. display: flex;
  71. align-items: center;
  72. }
  73. /* Sibling imports */
  74. @import './datagrid.css';
  75. @import './dockpanel.css';
  76. @import './menus.css';
  77. @import './scrollbar.css';
  78. @import './tabs.css';
  79. @import './buttons.css';
  80. @import './sidepanel.css';
  81. @import './titlepanel.css';
  82. @import './skiplink.css';