index.css 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-RenderedLatex {
  6. color: var(--jp-content-font-color1);
  7. font-size: var(--jp-content-font-size);
  8. line-height: var(--jp-content-line-height);
  9. }
  10. .jp-RenderedHTMLCommon {
  11. color: var(--jp-content-font-color1);
  12. font-size: var(--jp-content-font-size);
  13. line-height: var(--jp-content-line-height);
  14. }
  15. .jp-RenderedHTMLCommon .MathJax_Display {
  16. margin: 0;
  17. }
  18. .jp-RenderedHTMLCommon em {
  19. font-style: italic;
  20. }
  21. .jp-RenderedHTMLCommon strong {
  22. font-weight: bold;
  23. }
  24. .jp-RenderedHTMLCommon u {
  25. text-decoration: underline;
  26. }
  27. .jp-RenderedHTMLCommon:link {
  28. text-decoration: underline;
  29. }
  30. .jp-RenderedHTMLCommon:visited {
  31. text-decoration: underline;
  32. }
  33. /*For a 14px base font size this goes as:
  34. font-size = 26, 22, 18, 14, 12, 12
  35. margin-top = 14, 14, 14, 14, 8, 8
  36. */
  37. .jp-RenderedHTMLCommon h1 {
  38. font-size: 185.7%;
  39. margin: 1.08em 0 0 0;
  40. font-weight: bold;
  41. line-height: 1.0;
  42. }
  43. .jp-RenderedHTMLCommon h2 {
  44. font-size: 157.1%;
  45. margin: 1.27em 0 0 0;
  46. font-weight: bold;
  47. line-height: 1.0;
  48. }
  49. .jp-RenderedHTMLCommon h3 {
  50. font-size: 128.6%;
  51. margin: 1.55em 0 0 0;
  52. font-weight: bold;
  53. line-height: 1.0;
  54. }
  55. .jp-RenderedHTMLCommon h4 {
  56. font-size: 100%;
  57. margin: 2em 0 0 0;
  58. font-weight: bold;
  59. line-height: 1.0;
  60. }
  61. .jp-RenderedHTMLCommon h5 {
  62. font-size: 100%;
  63. margin: 2em 0 0 0;
  64. font-weight: bold;
  65. line-height: 1.0;
  66. font-style: italic;
  67. }
  68. .jp-RenderedHTMLCommon h6 {
  69. font-size: 100%;
  70. margin: 2em 0 0 0;
  71. font-weight: bold;
  72. line-height: 1.0;
  73. font-style: italic;
  74. }
  75. .jp-RenderedHTMLCommon h1:first-child {
  76. margin-top: 0.538em;
  77. }
  78. .jp-RenderedHTMLCommon h2:first-child {
  79. margin-top: 0.636em;
  80. }
  81. .jp-RenderedHTMLCommon h3:first-child {
  82. margin-top: 0.777em;
  83. }
  84. .jp-RenderedHTMLCommon h4:first-child {
  85. margin-top: 1em;
  86. }
  87. .jp-RenderedHTMLCommon h5:first-child {
  88. margin-top: 1em;
  89. }
  90. .jp-RenderedHTMLCommon h6:first-child {
  91. margin-top: 1em;
  92. }
  93. .jp-RenderedHTMLCommon ul:not(.list-inline),
  94. .jp-RenderedHTMLCommon ol:not(.list-inline) {
  95. padding-left: 2em;
  96. }
  97. .jp-RenderedHTMLCommon ul {
  98. list-style: disc;
  99. }
  100. .jp-RenderedHTMLCommon ul ul {
  101. list-style: square;
  102. }
  103. .jp-RenderedHTMLCommon ul ul ul {
  104. list-style: circle;
  105. }
  106. .jp-RenderedHTMLCommon ol {
  107. list-style: decimal;
  108. }
  109. .jp-RenderedHTMLCommon ol ol {
  110. list-style: upper-alpha;
  111. }
  112. .jp-RenderedHTMLCommon ol ol ol {
  113. list-style: lower-alpha;
  114. }
  115. .jp-RenderedHTMLCommon ol ol ol ol {
  116. list-style: lower-roman;
  117. }
  118. .jp-RenderedHTMLCommon ol ol ol ol ol {
  119. list-style: decimal;
  120. }
  121. .jp-RenderedHTMLCommon * + ul {
  122. margin-top: 1em;
  123. }
  124. .jp-RenderedHTMLCommon * + ol {
  125. margin-top: 1em;
  126. }
  127. .jp-RenderedHTMLCommon hr {
  128. color: var(--jp-border-color1);
  129. background-color: var(--jp-border-color1);
  130. margin-top: 1em;
  131. margin-bottom: 1em;
  132. }
  133. .jp-RenderedHTMLCommon pre {
  134. margin: 1em 2em;
  135. }
  136. .jp-RenderedHTMLCommon pre,
  137. .jp-RenderedHTMLCommon code {
  138. border: 0;
  139. background-color: var(--jp-layout-color1);
  140. color: var(--jp-content-font-color1);
  141. font-size: 100%;
  142. padding: 0px;
  143. }
  144. .jp-RenderedHTMLCommon table {
  145. border: none;
  146. border-collapse: collapse;
  147. border-spacing: 0;
  148. color: var(--jp-ui-font-color1);
  149. font-size: 12px;
  150. table-layout: fixed;
  151. margin-left: auto;
  152. margin-right: auto;
  153. }
  154. .jp-RenderedHTMLCommon thead {
  155. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  156. vertical-align: bottom;
  157. }
  158. .jp-RenderedHTMLCommon td,
  159. .jp-RenderedHTMLCommon th {
  160. text-align: right;
  161. vertical-align: middle;
  162. padding: 0.5em 0.5em;
  163. line-height: 1.0;
  164. white-space: nowrap;
  165. max-width: 100px;
  166. text-overflow: ellipsis;
  167. overflow: hidden;
  168. border: none;
  169. }
  170. .jp-RenderedHTMLCommon th {
  171. font-weight: bold;
  172. }
  173. .jp-RenderedHTMLCommon tbody tr:nth-child(odd) {
  174. background: var(--md-grey-100);
  175. }
  176. .jp-RenderedHTMLCommon * + table {
  177. margin-top: 1em;
  178. }
  179. .jp-RenderedHTMLCommon p {
  180. text-align: left;
  181. margin: 0px;
  182. }
  183. .jp-RenderedHTMLCommon * + p {
  184. margin-top: 1em;
  185. }
  186. .jp-RenderedHTMLCommon img {
  187. display: block;
  188. margin-left: auto;
  189. margin-right: auto;
  190. }
  191. .jp-RenderedHTMLCommon * + img {
  192. margin-top: 1em;
  193. }
  194. .jp-RenderedHTMLCommon img,
  195. .jp-RenderedHTMLCommon svg {
  196. max-width: 100%;
  197. height: auto;
  198. }
  199. .jp-RenderedHTMLCommon img.unconfined,
  200. .jp-RenderedHTMLCommon svg.unconfined {
  201. max-width: none;
  202. }
  203. .jp-RenderedHTMLCommon .alert {
  204. margin-bottom: initial;
  205. }
  206. .jp-RenderedHTMLCommon * + .alert {
  207. margin-top: 1em;
  208. }
  209. .jp-RenderedHTMLCommon blockquote {
  210. margin: 1em 2em;
  211. padding: 0 1em;
  212. border-left: 5px solid var(--jp-border-color2);
  213. }