base.css 2.0 KB

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