index.css 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. :root {
  6. --jp-private-csvwidget-toolbar-height: 24px;
  7. }
  8. .jp-CSVViewer {
  9. display: flex;
  10. flex-direction: column;
  11. outline: none;
  12. }
  13. .jp-CSVViewer-toolbar {
  14. display: flex;
  15. flex: 0 0 auto;
  16. flex-direction: row;
  17. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  18. /* Add the border width because this is border-box sized */
  19. height: calc(var(--jp-private-csvwidget-toolbar-height) + var(--jp-border-width));
  20. background: var(--jp-layout-color1);
  21. }
  22. .jp-CSVViewer-toolbar span {
  23. color: var(--jp-ui-font-color1);
  24. font-size: var(--jp-ui-font-size1);
  25. line-height: var(--jp-private-csvwidget-toolbar-height);
  26. padding-left: 8px;
  27. padding-right: 8px;
  28. }
  29. .jp-CSVViewer-toolbar select {
  30. background: transparent;
  31. }
  32. .jp-CSVToolbar .jp-CSVToolbar-dropdown {
  33. flex: 0 0 auto;
  34. padding-left: 8px;
  35. padding-right: 8px;
  36. vertical-align: middle;
  37. border: var(--jp-border-width) solid var(--jp-border-color1);
  38. border-radius: 0;
  39. outline: none;
  40. width: 60px;
  41. height: 20px;
  42. font-size: var(--jp-ui-font-size0);
  43. color: var(--jp-ui-font-color1);
  44. margin-top: 2px;
  45. margin-bottom: 2px;
  46. }
  47. .jp-CSVTable {
  48. flex: 1 1 auto;
  49. overflow: auto;
  50. }
  51. .jp-CSVTable.jp-RenderedHTMLCommon table {
  52. margin-left: 0px;
  53. margin-right: 0px;
  54. }
  55. .jp-CSVViewer-warning {
  56. flex: 0 0 auto;
  57. padding-left: 4px;
  58. overflow: auto;
  59. color: var(--jp-warn-color1);
  60. line-height: 1.5;
  61. font-size: var(--jp-ui-font-size1);
  62. }