index.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-Debugger {
  6. background: var(--jp-layout-color1);
  7. top: 0;
  8. bottom: 0;
  9. }
  10. .jp-DebuggerSidebar {
  11. display: flex;
  12. flex-direction: column;
  13. color: var(--jp-ui-font-color1);
  14. background: var(--jp-layout-color1);
  15. font-size: var(--jp-ui-font-size1);
  16. min-width: 350px !important;
  17. }
  18. .jp-DebuggerSidebar div:not(:first-child) .debugger-variables__header{
  19. border-bottom: solid var(--jp-border-width) var(--jp-border-color1);
  20. border-top: solid var(--jp-border-width) var(--jp-border-color1);
  21. }
  22. .debugger-variables__header {
  23. display: flex;
  24. flex-direction: row;
  25. align-items: center;
  26. background-color: var(--jp-layout-color2);
  27. height: 24px;
  28. }
  29. .debugger-variables__header-label {
  30. text-transform: uppercase;
  31. font-weight: 600;
  32. font-size: var(--jp-ui-font-size0);
  33. color: var(--jp-ui-font-color1);
  34. padding-left: 8px;
  35. padding-right: 4px;
  36. }
  37. .debugger-variables__body {
  38. border-bottom: solid var(--jp-border-width) var(--jp-border-color2);
  39. min-height: 24px;
  40. height: 99%;
  41. display: flex;
  42. flex-direction: column;
  43. }
  44. .debugger-variable__table {
  45. min-height: 50px;
  46. flex-basis: 30%;
  47. }
  48. .debugger-variable__table table {
  49. width: 100%;
  50. border-collapse: collapse;
  51. }
  52. .debugger-variable__table .debugger-variables_table-head {
  53. margin-bottom: 4px;
  54. border-top: var(--jp-border-width) solid var(--jp-border-color2);
  55. border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  56. min-height: 23px;
  57. padding: 4px 12px;
  58. font-weight: 500;
  59. text-align: left;
  60. }
  61. .debugger-variables_table-head:hover , .debugger-variables_table-row:hover {
  62. background: var(--jp-layout-color2);
  63. }
  64. .debugger-variables_table-row-selected {
  65. color: white;
  66. background: var(--jp-brand-color1);
  67. }
  68. .debugger-variables_table-head + .debugger-variables_table-head {
  69. border-left: var(--jp-border-width) solid var(--jp-border-color2);
  70. }
  71. .debugger-variable__description {
  72. border-top: var(--jp-border-width) solid var(--jp-border-color2);
  73. min-height: 25px;
  74. padding: 10px;
  75. }
  76. .debugger-variable__description p {
  77. margin-top: 1rem;
  78. margin-bottom: 1rem;
  79. }