index.css 8.5 KB

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