shell.css 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-ApplicationShell.p-Widget {
  6. position: absolute;
  7. top: 0;
  8. left: 0;
  9. right: 0;
  10. bottom: 0;
  11. font-size: 14px;
  12. }
  13. #jp-top-panel {
  14. display: flex;
  15. min-height: 24px;
  16. }
  17. #jp-left-stack {
  18. border-right: 1px solid #BDBDBD;
  19. }
  20. #jp-right-stack {
  21. border-left: 1px solid #BDBDBD;
  22. }
  23. #jp-main-dock-panel {
  24. padding: 8px;
  25. }
  26. .jp-SideBar.p-TabBar {
  27. background: white;
  28. color: #777777;
  29. font-size: 14px;
  30. max-width: 36px;
  31. max-height: none;
  32. height: 100%;
  33. }
  34. .jp-SideBar.p-Widget {
  35. overflow: visible;
  36. }
  37. .jp-SideBar.jp-mod-left {
  38. border-right: 1px solid #BDBDBD;
  39. bottom: 0;
  40. }
  41. .jp-SideBar.jp-mod-right {
  42. border-left: 1px solid #BDBDBD;
  43. bottom: 0;
  44. }
  45. .jp-SideBar .p-SideBar-content {
  46. height: 35px;
  47. transform-origin: 0 0 0;
  48. }
  49. .jp-SideBar.jp-mod-left .p-TabBar-tab {
  50. flex-direction: row-reverse;
  51. transform: rotate(-90deg) translateX(-100%);
  52. }
  53. .jp-SideBar.jp-mod-right .p-TabBar-tab {
  54. flex-direction: row;
  55. transform: rotate(90deg) translateY(-100%);
  56. }
  57. /*.jp-SideBar-button {
  58. padding: 0 18px;
  59. line-height: 35px;
  60. }
  61. .jp-SideBar-button:hover:not(.p-mod-current) {
  62. background: #FAFAFA;
  63. }
  64. .jp-SideBar-button.p-mod-current {
  65. color: #2196F3;
  66. background: #FAFAFA;
  67. }
  68. .jp-SideBar.jp-mod-left .jp-SideBar-button {
  69. border-left: 1px solid #BDBDBD;
  70. }
  71. .jp-SideBar.jp-mod-right .jp-SideBar-button {
  72. border-right: 1px solid #BDBDBD;
  73. }
  74. */