index.css 5.8 KB

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