index.css 5.7 KB

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