base.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /* Sibling imports */
  6. @import './deprecated.css';
  7. @import './deprecatedExtra.css';
  8. @import './icons.css';
  9. @import './iconsalt.css';
  10. @import './iconshover.css';
  11. /* Override Blueprint's _reset.scss styles */
  12. html {
  13. box-sizing: unset;
  14. }
  15. *,
  16. *::before,
  17. *::after {
  18. box-sizing: unset;
  19. }
  20. body {
  21. color: unset;
  22. font-family: var(--jp-ui-font-family);
  23. }
  24. p {
  25. margin-top: unset;
  26. margin-bottom: unset;
  27. }
  28. small {
  29. font-size: unset;
  30. }
  31. strong {
  32. font-weight: unset;
  33. }
  34. /* Override Blueprint's _typography.scss styles */
  35. a {
  36. text-decoration: unset;
  37. color: unset;
  38. }
  39. a:hover {
  40. text-decoration: unset;
  41. color: unset;
  42. }
  43. /* Override Blueprint's _accessibility.scss styles */
  44. :focus {
  45. outline: unset;
  46. outline-offset: unset;
  47. -moz-outline-radius: unset;
  48. }
  49. /* Styles for ui-components */
  50. .jp-Button {
  51. border-radius: var(--jp-border-radius);
  52. padding: 0px 12px;
  53. font-size: var(--jp-ui-font-size1);
  54. }
  55. /* Use our own theme for hover styles */
  56. button.jp-Button.bp3-button.bp3-minimal:hover {
  57. background-color: var(--jp-layout-color2);
  58. }
  59. .jp-Button.minimal {
  60. color: unset !important;
  61. }
  62. .jp-Button.jp-ToolbarButtonComponent {
  63. text-transform: none;
  64. }
  65. .jp-InputGroup input {
  66. box-sizing: border-box;
  67. border-radius: 0;
  68. background-color: transparent;
  69. color: var(--jp-ui-font-color0);
  70. box-shadow: inset 0 0 0 var(--jp-border-width) var(--jp-input-border-color);
  71. }
  72. .jp-InputGroup input:focus {
  73. box-shadow: inset 0 0 0 var(--jp-border-width)
  74. var(--jp-input-active-box-shadow-color),
  75. inset 0 0 0 3px var(--jp-input-active-box-shadow-color);
  76. }
  77. .jp-InputGroup input::placeholder,
  78. input::placeholder {
  79. color: var(--jp-ui-font-color3);
  80. }
  81. .jp-Icon {
  82. color: var(--jp-layout-color4);
  83. }
  84. .jp-InputGroupAction {
  85. padding: 6px;
  86. }
  87. .jp-HTMLSelect.jp-DefaultStyle select {
  88. background-color: initial;
  89. border: none;
  90. border-radius: 0;
  91. box-shadow: none;
  92. color: var(--jp-ui-font-color0);
  93. display: block;
  94. font-size: var(--jp-ui-font-size1);
  95. height: 24px;
  96. line-height: 14px;
  97. padding: 0 25px 0 10px;
  98. text-align: left;
  99. -moz-appearance: none;
  100. -webkit-appearance: none;
  101. }
  102. /* Use our own theme for hover and option styles */
  103. .jp-HTMLSelect.jp-DefaultStyle select:hover,
  104. .jp-HTMLSelect.jp-DefaultStyle select > option {
  105. background-color: var(--jp-layout-color2);
  106. color: var(--jp-ui-font-color0);
  107. }
  108. select {
  109. box-sizing: border-box;
  110. }