styling.css 2.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495
  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. border: none;
  9. box-sizing: border-box;
  10. outline: none;
  11. text-transform: uppercase;
  12. line-height: 32px;
  13. height: 32px;
  14. padding: 0px 4px;
  15. letter-spacing: 1px;
  16. outline: none;
  17. appearance: none;
  18. -webkit-appearance: none;
  19. -moz-appearance: none;
  20. }
  21. input.jp-mod-styled {
  22. background: white;
  23. height: 28px;
  24. box-sizing: border-box;
  25. border: var(--jp-border-width) solid var(--jp-border-color1);
  26. padding-left: 7px;
  27. padding-right: 7px;
  28. font-size: var(--jp-ui-font-size2);
  29. color: var(--jp-ui-font-color0);
  30. outline: none;
  31. appearance: none;
  32. -webkit-appearance: none;
  33. -moz-appearance: none;
  34. }
  35. input.jp-mod-styled:focus,
  36. button.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. .jp-select-wrapper {
  41. display: flex;
  42. flex-direction: column;
  43. padding: 1px;
  44. background: white;
  45. height: 28px;
  46. box-sizing: border-box;
  47. margin-bottom: 12px;
  48. }
  49. .jp-select-wrapper.jp-mod-focused{
  50. border: var(--jp-border-width) solid var(--md-blue-500);
  51. box-shadow: inset 0 0 4px var(--md-blue-300);
  52. }
  53. .jp-select-wrapper:hover,
  54. input.jp-mod-styled:hover {
  55. background-color: var(--md-grey-200);
  56. box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
  57. }
  58. select.jp-mod-styled:hover {
  59. background-color: var(--md-grey-200);
  60. }
  61. select.jp-mod-styled {
  62. flex: 1 1 auto;
  63. height: 32px;
  64. width: 100%;
  65. font-size: var(--jp-ui-font-size2);
  66. background: white;
  67. color: var(--jp-ui-font-color0);
  68. padding-left: 8px;
  69. padding-right: 8px;
  70. background-image: var(--jp-ui-select-caret);
  71. background-repeat: no-repeat;
  72. background-position: right center;
  73. background-size: 20px;
  74. border: none;
  75. border-radius: 0px;
  76. outline: none;
  77. appearance: none;
  78. -webkit-appearance: none;
  79. -moz-appearance: none;
  80. }