index.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
  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: var(--jp-ui-font-family);
  17. }
  18. p {
  19. margin-top: unset;
  20. margin-bottom: unset;
  21. }
  22. small {
  23. font-size: unset;
  24. }
  25. strong {
  26. font-weight: unset;
  27. }
  28. a {
  29. text-decoration: unset;
  30. color: unset;
  31. }
  32. a:hover {
  33. text-decoration: unset;
  34. color: unset;
  35. }
  36. :focus {
  37. outline: unset;
  38. outline-offset: unset;
  39. -moz-outline-radius: unset;
  40. }
  41. .jp-Button {
  42. border-radius: var(--jp-border-radius);
  43. padding: 0px 12px;
  44. font-size: var(--jp-ui-font-size1);
  45. text-transform: uppercase;
  46. }
  47. .jp-Button.minimal {
  48. color: unset !important;
  49. }
  50. .jp-Button.jp-ToolbarButtonComponent {
  51. text-transform: none;
  52. }
  53. /* .jp-InputGroup {
  54. } */
  55. .jp-InputGroup input {
  56. box-sizing: border-box;
  57. border-radius: 0;
  58. background-color: transparent;
  59. color: var(--jp-ui-font-color0);
  60. box-shadow: inset 0 0 0 var(--jp-border-width) var(--jp-input-border-color);
  61. }
  62. .jp-InputGroup input:focus {
  63. /* box-shadow: inset 0 0 0 var(--jp-border-width) var(--jp-input-active-border-color),
  64. inset 0 0 0 3px rgba(19, 124, 189, 0.3); */
  65. box-shadow: inset 0 0 0 var(--jp-border-width) rgba(19, 124, 189, 0.3),
  66. inset 0 0 0 3px rgba(19, 124, 189, 0.3);
  67. }
  68. .jp-InputGroup input::placeholder,
  69. input::placeholder {
  70. color: var(--jp-ui-font-color3);
  71. }
  72. .jp-Icon {
  73. color: var(--jp-layout-color4);
  74. }
  75. .jp-InputGroupAction {
  76. padding: 6px;
  77. }
  78. .jp-HTMLSelect select {
  79. height: 24;
  80. font-size: var(--jp-ui-font-size1);
  81. line-height: 14px;
  82. border-radius: 0;
  83. display: block;
  84. color: var(--jp-ui-font-color0);
  85. }
  86. .jp-HTMLSelect select:hover {
  87. color: var(--jp-ui-font-color0);
  88. }
  89. /* .jp-Select {
  90. } */
  91. select {
  92. box-sizing: border-box;
  93. }