index.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  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::before {
  12. content: '';
  13. display: block;
  14. height: var(--jp-toolbar-micro-height);
  15. background: var(--jp-toolbar-background);
  16. border-bottom: 1px solid var(--jp-toolbar-border-color);
  17. box-shadow: var(--jp-toolbar-box-shadow);
  18. z-index: 1;
  19. }
  20. .jp-Help > iframe {
  21. border: none;
  22. }
  23. .jp-About-body {
  24. display: flex;
  25. font-family: var(--jp-ui-font-family);
  26. /* This is needed so that all font sizing of children done in ems is
  27. * relative to this base size */
  28. font-size: var(--jp-ui-font-size1);
  29. color: var(--jp-ui-font-color1);
  30. text-align: left;
  31. flex-direction: column;
  32. width: 100%;
  33. min-width: 360px;
  34. overflow: visible;
  35. }
  36. .jp-Dialog .jp-Dialog-content div.jp-About-header-wordmark {
  37. flex: 0 0 auto;
  38. height: 44px;
  39. width: auto;
  40. background-image: var(--jp-about-header-wordmark);
  41. background-size: 196px 50px;
  42. background-repeat: no-repeat;
  43. padding-bottom: 0px;
  44. }
  45. .jp-About-version-info {
  46. color: var(--md-grey-600);
  47. font-size: var(--jp-ui-font-size2);
  48. width: 200px;
  49. font-weight: 400;
  50. letter-spacing: .4px;
  51. text-align: left;
  52. padding-top: 8px;
  53. line-height: 1.12;
  54. }
  55. .jp-Dialog .jp-Dialog-content .jp-Dialog-footer .jp-Dialog-button.jp-About-button {
  56. margin-right: 0px;
  57. }
  58. .jp-About-release, .jp-About-version {
  59. display: block;
  60. color: var(--jp-ui-font-color0);
  61. }
  62. .jp-About-version {
  63. padding-top: 8px;
  64. }
  65. .jp-About-externalLinks {
  66. display: flex;
  67. flex-direction: column;
  68. justify-content: flex-start;
  69. align-items: flex-start;
  70. padding-top: 12px;
  71. margin-bottom: -15px;
  72. }
  73. .jp-About-externalLinks .jp-Button-flat {
  74. color: #F37726;
  75. }
  76. .jp-About-copyright {
  77. position: relative;
  78. bottom: -48px;
  79. }
  80. .jp-About-header {
  81. display: flex;
  82. flex-direction: row;
  83. align-items: center;
  84. }
  85. .jp-About-body pre {
  86. white-space: pre-wrap;
  87. }
  88. .jp-About-header-info {
  89. display: flex;
  90. flex-direction: column;
  91. margin-left: 16px;
  92. }
  93. .jp-About-header-logo {
  94. height: 94px;
  95. width: 77px;
  96. background-image: var(--jp-about-header-logo);
  97. background-repeat: no-repeat;
  98. background-size: 58px auto;
  99. background-position: center;
  100. }