toolbar.css 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /*-----------------------------------------------------------------------------
  6. | Variables
  7. |----------------------------------------------------------------------------*/
  8. :root {
  9. --jp-notebook-toolbar-padding: 2px 5px 2px 2px;
  10. }
  11. /*-----------------------------------------------------------------------------
  12. /*-----------------------------------------------------------------------------
  13. | Styles
  14. |----------------------------------------------------------------------------*/
  15. .jp-NotebookPanel-toolbar {
  16. padding: var(--jp-notebook-toolbar-padding);
  17. }
  18. .jp-Toolbar-item.jp-Notebook-toolbarCellType .jp-select-wrapper.jp-mod-focused {
  19. border: none;
  20. box-shadow: none;
  21. }
  22. .jp-Notebook-toolbarCellTypeDropdown select {
  23. height: 24px;
  24. font-size: var(--jp-ui-font-size1);
  25. line-height: 14px;
  26. border-radius: 0;
  27. display: block;
  28. }
  29. .jp-Notebook-toolbarCellTypeDropdown span {
  30. top: 5px !important;
  31. }
  32. .jp-Toolbar-responsive-popup {
  33. position: absolute;
  34. height: fit-content;
  35. display: flex;
  36. flex-direction: row;
  37. flex-wrap: wrap;
  38. justify-content: flex-end;
  39. border-bottom: var(--jp-border-width) solid var(--jp-toolbar-border-color);
  40. box-shadow: var(--jp-toolbar-box-shadow);
  41. background: var(--jp-toolbar-background);
  42. min-height: var(--jp-toolbar-micro-height);
  43. padding: var(--jp-notebook-toolbar-padding);
  44. z-index: 1;
  45. right: 0px;
  46. top: 0px;
  47. }
  48. .jp-Toolbar > .jp-Toolbar-responsive-opener {
  49. margin-left: auto;
  50. }