index.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111
  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: unset;
  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. /* Override Blueprint's _typography.scss styles */
  29. a {
  30. text-decoration: unset;
  31. color: unset;
  32. }
  33. a:hover {
  34. text-decoration: unset;
  35. color: unset;
  36. }
  37. /* Override Blueprint's _accessibility.scss styles */
  38. :focus {
  39. outline: unset;
  40. outline-offset: unset;
  41. -moz-outline-radius: unset;
  42. }
  43. /* Styles for ui-components */
  44. .jp-Button {
  45. border-radius: var(--jp-border-radius);
  46. padding: 0px 12px;
  47. font-size: var(--jp-ui-font-size1);
  48. text-transform: uppercase;
  49. }
  50. .jp-Button.minimal {
  51. color: unset !important;
  52. }
  53. .jp-Button.jp-ToolbarButtonComponent {
  54. text-transform: none;
  55. }
  56. .jp-InputGroup input {
  57. box-sizing: border-box;
  58. border-radius: 0;
  59. background-color: transparent;
  60. color: var(--jp-ui-font-color0);
  61. box-shadow: inset 0 0 0 var(--jp-border-width) var(--jp-input-border-color);
  62. }
  63. .jp-InputGroup input:focus {
  64. box-shadow: inset 0 0 0 var(--jp-border-width)
  65. var(--jp-input-active-box-shadow-color),
  66. inset 0 0 0 3px var(--jp-input-active-box-shadow-color);
  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. select {
  90. box-sizing: border-box;
  91. }