index.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-Help {
  6. min-width: 240px;
  7. min-height: 240px;
  8. background: white;
  9. outline: none;
  10. }
  11. .jp-Help > iframe {
  12. border: none;
  13. }
  14. .jp-About-body {
  15. display: flex;
  16. font-size: var(--jp-ui-font-size1);
  17. color: var(--jp-ui-font-color1);
  18. text-align: left;
  19. flex-direction: column;
  20. width: 100%;
  21. min-width: 360px;
  22. overflow: visible;
  23. }
  24. .jp-Dialog .jp-Dialog-content div.jp-About-header-wordmark {
  25. flex: 0 0 auto;
  26. height: 44px;
  27. width: auto;
  28. background-image: var(--jp-about-header-wordmark);
  29. background-size: 196px 50px;
  30. background-repeat: no-repeat;
  31. padding-bottom: 0px;
  32. }
  33. .jp-About-version-info {
  34. color: var(--jp-ui-font-color1);
  35. /* Dialog-header sets the font size to 3, we reset to 1 */
  36. font-size: var(--jp-ui-font-size1);
  37. width: 200px;
  38. font-weight: 400;
  39. letter-spacing: .4px;
  40. text-align: left;
  41. padding-top: 8px;
  42. line-height: 1.12;
  43. }
  44. .jp-Dialog .jp-Dialog-content .jp-Dialog-footer .jp-Dialog-button.jp-About-button {
  45. margin-right: 0px;
  46. }
  47. .jp-About-release, .jp-About-version {
  48. display: block;
  49. }
  50. .jp-About-version {
  51. padding-top: 8px;
  52. }
  53. .jp-About-externalLinks {
  54. display: flex;
  55. flex-direction: column;
  56. justify-content: flex-start;
  57. align-items: flex-start;
  58. padding-top: 12px;
  59. margin-bottom: -15px;
  60. }
  61. .jp-About-externalLinks .jp-Button-flat {
  62. color: #F37726;
  63. }
  64. .jp-About-copyright {
  65. position: relative;
  66. bottom: -44px;
  67. }
  68. .jp-About-header {
  69. display: flex;
  70. flex-direction: row;
  71. align-items: center;
  72. }
  73. .jp-About-body pre {
  74. white-space: pre-wrap;
  75. }
  76. .jp-About-header-info {
  77. display: flex;
  78. flex-direction: column;
  79. margin-left: 16px;
  80. }
  81. .jp-About-header-logo {
  82. height: 94px;
  83. width: 77px;
  84. background-image: var(--jp-about-header-logo);
  85. background-repeat: no-repeat;
  86. background-size: 58px auto;
  87. background-position: center;
  88. }