index.css 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /* Override Blueprint's _reset.scss styles */
  6. html {
  7. box-sizing: unset;
  8. }
  9. *,
  10. *::before,
  11. *::after {
  12. box-sizing: unset;
  13. }
  14. body {
  15. color: #182026;
  16. font-family: -apple-system, 'BlinkMacSystemFont', 'Segoe UI', 'Roboto',
  17. 'Oxygen', 'Ubuntu', 'Cantarell', 'Open Sans', 'Helvetica Neue', 'Icons16',
  18. sans-serif;
  19. }
  20. p {
  21. margin-top: unset;
  22. margin-bottom: unset;
  23. }
  24. small {
  25. font-size: unset;
  26. }
  27. strong {
  28. font-weight: unset;
  29. }
  30. ::selection {
  31. background: unset;
  32. }
  33. .jp-Button {
  34. border-radius: var(--jp-border-radius);
  35. padding: 0px 12px;
  36. font-size: var(--jp-ui-font-size1);
  37. text-transform: uppercase;
  38. }
  39. .jp-Button.minimal {
  40. color: unset !important;
  41. }
  42. /* .jp-InputGroup {
  43. } */
  44. .jp-InputGroup input {
  45. box-sizing: border-box;
  46. border-radius: 0;
  47. background-color: transparent;
  48. color: var(--jp-ui-font-color0);
  49. box-shadow: inset 0 0 0 var(--jp-border-width) var(--jp-input-border-color);
  50. }
  51. .jp-InputGroup input:focus {
  52. /* box-shadow: inset 0 0 0 var(--jp-border-width) var(--jp-input-active-border-color),
  53. inset 0 0 0 3px rgba(19, 124, 189, 0.3); */
  54. box-shadow: inset 0 0 0 var(--jp-border-width) rgba(19, 124, 189, 0.3),
  55. inset 0 0 0 3px rgba(19, 124, 189, 0.3);
  56. }
  57. .jp-InputGroup input::placeholder {
  58. color: var(--jp-ui-font-color3);
  59. }
  60. .jp-Icon {
  61. color: var(--jp-layout-color4);
  62. }
  63. .jp-InputGroupAction {
  64. padding: 5px;
  65. }
  66. .jp-HTMLSelect select {
  67. height: 24;
  68. font-size: var(--jp-ui-font-size1);
  69. line-height: 14px;
  70. border-radius: 0;
  71. display: block;
  72. color: var(--jp-ui-font-color0);
  73. }
  74. .jp-HTMLSelect select:hover {
  75. color: var(--jp-ui-font-color0);
  76. }
  77. /* .jp-Select {
  78. } */