styling.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) 2014-2017, Jupyter Development Team.
  3. |
  4. | Distributed under the terms of the Modified BSD License.
  5. |----------------------------------------------------------------------------*/
  6. button.jp-mod-styled {
  7. font-size: var(--jp-ui-font-size1);
  8. color: var(--jp-ui-font-color0);
  9. border: none;
  10. box-sizing: border-box;
  11. text-transform: uppercase;
  12. text-align: center;
  13. line-height: 32px;
  14. height: 32px;
  15. padding: 0px 12px;
  16. letter-spacing: .8px;
  17. outline: none;
  18. appearance: none;
  19. -webkit-appearance: none;
  20. -moz-appearance: none;
  21. }
  22. input.jp-mod-styled {
  23. background: white;
  24. height: 28px;
  25. box-sizing: border-box;
  26. border: var(--jp-border-width) solid var(--jp-border-color1);
  27. padding-left: 7px;
  28. padding-right: 7px;
  29. font-size: var(--jp-ui-font-size2);
  30. color: var(--jp-ui-font-color0);
  31. outline: none;
  32. appearance: none;
  33. -webkit-appearance: none;
  34. -moz-appearance: none;
  35. }
  36. input.jp-mod-styled:focus {
  37. border: var(--jp-border-width) solid var(--md-blue-500);
  38. box-shadow: inset 0 0 4px var(--md-blue-300);
  39. }
  40. button.jp-mod-styled:focus {
  41. box-shadow: inset 0 0 0 1px #ffffff;
  42. border: rgba(0,0,0,0) solid 1px;
  43. }
  44. .jp-select-wrapper {
  45. display: flex;
  46. flex-direction: column;
  47. padding: 1px;
  48. background-color: var(--jp-layout-color1);
  49. height: 28px;
  50. box-sizing: border-box;
  51. margin-bottom: 12px;
  52. }
  53. .jp-select-wrapper.jp-mod-focused select.jp-mod-styled {
  54. border: var(--jp-border-width) solid var(--jp-input-border-color-active);
  55. box-shadow: var(--jp-input-box-shadow);
  56. background-color: var(--jp-input-background-color-active);
  57. }
  58. select.jp-mod-styled:hover {
  59. background-color: var(--jp-layout-color1);
  60. cursor: pointer;
  61. color: var(--jp-ui-font-color0);
  62. background-color: var(--jp-ui-select-background-color-hover);
  63. box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
  64. }
  65. select.jp-mod-styled {
  66. flex: 1 1 auto;
  67. height: 32px;
  68. width: 100%;
  69. font-size: var(--jp-ui-font-size2);
  70. background: var(--jp-input-background-color);
  71. color: var(--jp-ui-font-color0);
  72. padding-left: 8px;
  73. padding-right: 8px;
  74. background-image: var(--jp-ui-select-caret);
  75. background-repeat: no-repeat;
  76. background-position: 99% center;
  77. background-size: 18px;
  78. border: var(--jp-border-width) solid var(--jp-input-border-color);
  79. border-radius: 0px;
  80. outline: none;
  81. appearance: none;
  82. -webkit-appearance: none;
  83. -moz-appearance: none;
  84. }
  85. a:-webkit-any-link {
  86. color: var(--md-blue-600);
  87. }