index.css 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467
  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. font-family: var(--jp-code-font-family);
  14. }
  15. .jp-RenderedText pre,
  16. .jp-RenderedJavaScript pre,
  17. .jp-RenderedHTMLCommon pre {
  18. color: var(--jp-content-font-color1);
  19. border: none;
  20. margin: 0px;
  21. padding: 0px;
  22. }
  23. /* ansi_up creates classed spans for console foregrounds and backgrounds. */
  24. .jp-RenderedText pre .ansi-black-fg {
  25. color: #3e424d;
  26. }
  27. .jp-RenderedText pre .ansi-red-fg {
  28. color: #e75c58;
  29. }
  30. .jp-RenderedText pre .ansi-green-fg {
  31. color: #00a250;
  32. }
  33. .jp-RenderedText pre .ansi-yellow-fg {
  34. color: #ddb62b;
  35. }
  36. .jp-RenderedText pre .ansi-blue-fg {
  37. color: #208ffb;
  38. }
  39. .jp-RenderedText pre .ansi-magenta-fg {
  40. color: #d160c4;
  41. }
  42. .jp-RenderedText pre .ansi-cyan-fg {
  43. color: #60c6c8;
  44. }
  45. .jp-RenderedText pre .ansi-white-fg {
  46. color: #c5c1b4;
  47. }
  48. .jp-RenderedText pre .ansi-black-bg {
  49. background-color: #3e424d;
  50. }
  51. .jp-RenderedText pre .ansi-red-bg {
  52. background-color: #e75c58;
  53. }
  54. .jp-RenderedText pre .ansi-green-bg {
  55. background-color: #00a250;
  56. }
  57. .jp-RenderedText pre .ansi-yellow-bg {
  58. background-color: #ddb62b;
  59. }
  60. .jp-RenderedText pre .ansi-blue-bg {
  61. background-color: #208ffb;
  62. }
  63. .jp-RenderedText pre .ansi-magenta-bg {
  64. background-color: #d160c4;
  65. }
  66. .jp-RenderedText pre .ansi-cyan-bg {
  67. background-color: #60c6c8;
  68. }
  69. .jp-RenderedText pre .ansi-white-bg {
  70. background-color: #c5c1b4;
  71. }
  72. .jp-RenderedText pre .ansi-bright-black-fg {
  73. color: #282c36;
  74. }
  75. .jp-RenderedText pre .ansi-bright-red-fg {
  76. color: #b22b31;
  77. }
  78. .jp-RenderedText pre .ansi-bright-green-fg {
  79. color: #007427;
  80. }
  81. .jp-RenderedText pre .ansi-bright-yellow-fg {
  82. color: #b27d12;
  83. }
  84. .jp-RenderedText pre .ansi-bright-blue-fg {
  85. color: #0065ca;
  86. }
  87. .jp-RenderedText pre .ansi-bright-magenta-fg {
  88. color: #a03196;
  89. }
  90. .jp-RenderedText pre .ansi-bright-cyan-fg {
  91. color: #258f8f;
  92. }
  93. .jp-RenderedText pre .ansi-bright-white-fg {
  94. color: #a1a6b2;
  95. }
  96. .jp-RenderedText pre .ansi-bright-black-bg {
  97. background-color: #282c36;
  98. }
  99. .jp-RenderedText pre .ansi-bright-red-bg {
  100. background-color: #b22b31;
  101. }
  102. .jp-RenderedText pre .ansi-bright-green-bg {
  103. background-color: #007427;
  104. }
  105. .jp-RenderedText pre .ansi-bright-yellow-bg {
  106. background-color: #b27d12;
  107. }
  108. .jp-RenderedText pre .ansi-bright-blue-bg {
  109. background-color: #0065ca;
  110. }
  111. .jp-RenderedText pre .ansi-bright-magenta-bg {
  112. background-color: #a03196;
  113. }
  114. .jp-RenderedText pre .ansi-bright-cyan-bg {
  115. background-color: #258f8f;
  116. }
  117. .jp-RenderedText pre .ansi-bright-white-bg {
  118. background-color: #a1a6b2;
  119. }
  120. .jp-RenderedText[data-mime-type='application/vnd.jupyter.stderr'] {
  121. background: var(--jp-rendermime-error-background);
  122. padding-top: var(--jp-code-padding);
  123. }
  124. /*-----------------------------------------------------------------------------
  125. | RenderedLatex
  126. |----------------------------------------------------------------------------*/
  127. .jp-RenderedLatex {
  128. color: var(--jp-content-font-color1);
  129. font-size: var(--jp-content-font-size1);
  130. line-height: var(--jp-content-line-height);
  131. }
  132. /* Left-justify outputs.*/
  133. .jp-OutputArea-output.jp-RenderedLatex {
  134. text-align: left;
  135. }
  136. /*-----------------------------------------------------------------------------
  137. | RenderedHTML
  138. |----------------------------------------------------------------------------*/
  139. .jp-RenderedHTMLCommon {
  140. color: var(--jp-content-font-color1);
  141. font-family: var(--jp-content-font-family);
  142. font-size: var(--jp-content-font-size1);
  143. line-height: var(--jp-content-line-height);
  144. /* Give a bit more R padding on Markdown text to keep line lengths reasonable */
  145. padding-right: 20px;
  146. }
  147. .jp-RenderedHTMLCommon em {
  148. font-style: italic;
  149. }
  150. .jp-RenderedHTMLCommon strong {
  151. font-weight: bold;
  152. }
  153. .jp-RenderedHTMLCommon u {
  154. text-decoration: underline;
  155. }
  156. .jp-RenderedHTMLCommon a:link {
  157. text-decoration: none;
  158. color: var(--jp-content-link-color);
  159. }
  160. .jp-RenderedHTMLCommon a:hover {
  161. text-decoration: underline;
  162. color: var(--jp-content-link-color);
  163. }
  164. .jp-RenderedHTMLCommon a:visited {
  165. text-decoration: none;
  166. color: var(--jp-content-link-color);
  167. }
  168. /* Headings */
  169. .jp-RenderedHTMLCommon h1,
  170. .jp-RenderedHTMLCommon h2,
  171. .jp-RenderedHTMLCommon h3,
  172. .jp-RenderedHTMLCommon h4,
  173. .jp-RenderedHTMLCommon h5,
  174. .jp-RenderedHTMLCommon h6 {
  175. line-height: var(--jp-content-heading-line-height);
  176. font-weight: var(--jp-content-heading-font-weight);
  177. font-style: normal;
  178. margin: var(--jp-content-heading-margin-top) 0
  179. var(--jp-content-heading-margin-bottom) 0;
  180. }
  181. .jp-RenderedHTMLCommon h1:first-child,
  182. .jp-RenderedHTMLCommon h2:first-child,
  183. .jp-RenderedHTMLCommon h3:first-child,
  184. .jp-RenderedHTMLCommon h4:first-child,
  185. .jp-RenderedHTMLCommon h5:first-child,
  186. .jp-RenderedHTMLCommon h6:first-child {
  187. margin-top: calc(0.5 * var(--jp-content-heading-margin-top));
  188. }
  189. .jp-RenderedHTMLCommon h1:last-child,
  190. .jp-RenderedHTMLCommon h2:last-child,
  191. .jp-RenderedHTMLCommon h3:last-child,
  192. .jp-RenderedHTMLCommon h4:last-child,
  193. .jp-RenderedHTMLCommon h5:last-child,
  194. .jp-RenderedHTMLCommon h6:last-child {
  195. margin-bottom: calc(0.5 * var(--jp-content-heading-margin-bottom));
  196. }
  197. .jp-RenderedHTMLCommon h1 {
  198. font-size: var(--jp-content-font-size5);
  199. }
  200. .jp-RenderedHTMLCommon h2 {
  201. font-size: var(--jp-content-font-size4);
  202. }
  203. .jp-RenderedHTMLCommon h3 {
  204. font-size: var(--jp-content-font-size3);
  205. }
  206. .jp-RenderedHTMLCommon h4 {
  207. font-size: var(--jp-content-font-size2);
  208. }
  209. .jp-RenderedHTMLCommon h5 {
  210. font-size: var(--jp-content-font-size1);
  211. }
  212. .jp-RenderedHTMLCommon h6 {
  213. font-size: var(--jp-content-font-size0);
  214. }
  215. /* Lists */
  216. .jp-RenderedHTMLCommon ul:not(.list-inline),
  217. .jp-RenderedHTMLCommon ol:not(.list-inline) {
  218. padding-left: 2em;
  219. }
  220. .jp-RenderedHTMLCommon ul {
  221. list-style: disc;
  222. }
  223. .jp-RenderedHTMLCommon ul ul {
  224. list-style: square;
  225. }
  226. .jp-RenderedHTMLCommon ul ul ul {
  227. list-style: circle;
  228. }
  229. .jp-RenderedHTMLCommon ol {
  230. list-style: decimal;
  231. }
  232. .jp-RenderedHTMLCommon ol ol {
  233. list-style: upper-alpha;
  234. }
  235. .jp-RenderedHTMLCommon ol ol ol {
  236. list-style: lower-alpha;
  237. }
  238. .jp-RenderedHTMLCommon ol ol ol ol {
  239. list-style: lower-roman;
  240. }
  241. .jp-RenderedHTMLCommon ol ol ol ol ol {
  242. list-style: decimal;
  243. }
  244. .jp-RenderedHTMLCommon ol,
  245. .jp-RenderedHTMLCommon ul {
  246. margin-bottom: 1em;
  247. }
  248. .jp-RenderedHTMLCommon ul ul,
  249. .jp-RenderedHTMLCommon ul ol,
  250. .jp-RenderedHTMLCommon ol ul,
  251. .jp-RenderedHTMLCommon ol ol {
  252. margin-bottom: 0em;
  253. }
  254. .jp-RenderedHTMLCommon hr {
  255. color: var(--jp-border-color2);
  256. background-color: var(--jp-border-color1);
  257. margin-top: 1em;
  258. margin-bottom: 1em;
  259. }
  260. .jp-RenderedHTMLCommon > pre {
  261. margin: 1.5em 2em;
  262. }
  263. .jp-RenderedHTMLCommon pre,
  264. .jp-RenderedHTMLCommon code {
  265. border: 0;
  266. background-color: var(--jp-layout-color0);
  267. color: var(--jp-content-font-color1);
  268. font-family: var(--jp-code-font-family);
  269. font-size: inherit;
  270. line-height: var(--jp-code-line-height);
  271. padding: 0;
  272. }
  273. .jp-RenderedHTMLCommon p > code {
  274. background-color: var(--jp-layout-color2);
  275. padding: 1px 5px;
  276. }
  277. /* Tables */
  278. .jp-RenderedHTMLCommon table {
  279. border-collapse: collapse;
  280. border-spacing: 0;
  281. border: none;
  282. color: var(--jp-ui-font-color1);
  283. font-size: 12px;
  284. table-layout: fixed;
  285. margin-left: auto;
  286. margin-right: auto;
  287. }
  288. .jp-RenderedHTMLCommon thead {
  289. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  290. vertical-align: bottom;
  291. }
  292. .jp-RenderedHTMLCommon td,
  293. .jp-RenderedHTMLCommon th,
  294. .jp-RenderedHTMLCommon tr {
  295. text-align: right;
  296. vertical-align: middle;
  297. padding: 0.5em 0.5em;
  298. line-height: normal;
  299. white-space: normal;
  300. max-width: none;
  301. border: none;
  302. }
  303. .jp-RenderedMarkdown.jp-RenderedHTMLCommon td,
  304. .jp-RenderedMarkdown.jp-RenderedHTMLCommon th {
  305. max-width: none;
  306. }
  307. .jp-RenderedHTMLCommon th {
  308. font-weight: bold;
  309. }
  310. .jp-RenderedHTMLCommon tbody tr:nth-child(odd) {
  311. background: var(--jp-layout-color0);
  312. }
  313. .jp-RenderedHTMLCommon tbody tr:nth-child(even) {
  314. background: var(--jp-rendermime-table-row-background);
  315. }
  316. .jp-RenderedHTMLCommon tbody tr:hover {
  317. background: var(--jp-rendermime-table-row-hover-background);
  318. }
  319. .jp-RenderedHTMLCommon table {
  320. margin-bottom: 1em;
  321. }
  322. .jp-RenderedHTMLCommon p {
  323. text-align: left;
  324. margin: 0px;
  325. }
  326. .jp-RenderedHTMLCommon p {
  327. margin-bottom: 1em;
  328. }
  329. .jp-RenderedHTMLCommon img {
  330. -moz-force-broken-image-icon: 1;
  331. }
  332. /* Restrict to direct children as other images could be nested in other content. */
  333. .jp-RenderedHTMLCommon > img {
  334. display: block;
  335. margin-left: auto;
  336. margin-right: auto;
  337. margin-bottom: 1em;
  338. }
  339. /* Change color behind transparent images if they need it... */
  340. [data-theme-light='false'] .jp-RenderedImage img.jp-needs-light-background {
  341. background-color: var(--jp-inverse-layout-color1);
  342. }
  343. [data-theme-light='true'] .jp-RenderedImage img.jp-needs-dark-background {
  344. background-color: var(--jp-inverse-layout-color1);
  345. }
  346. /* ...or leave it untouched if they don't */
  347. [data-theme-light='false'] .jp-RenderedImage img.jp-needs-dark-background {
  348. }
  349. [data-theme-light='true'] .jp-RenderedImage img.jp-needs-light-background {
  350. }
  351. .jp-RenderedHTMLCommon img,
  352. .jp-RenderedImage img,
  353. .jp-RenderedHTMLCommon svg,
  354. .jp-RenderedSVG svg {
  355. max-width: 100%;
  356. height: auto;
  357. }
  358. .jp-RenderedHTMLCommon img.jp-mod-unconfined,
  359. .jp-RenderedImage img.jp-mod-unconfined,
  360. .jp-RenderedHTMLCommon svg.jp-mod-unconfined,
  361. .jp-RenderedSVG svg.jp-mod-unconfined {
  362. max-width: none;
  363. }
  364. .jp-RenderedHTMLCommon .alert {
  365. margin-bottom: 1em;
  366. }
  367. .jp-RenderedHTMLCommon blockquote {
  368. margin: 1em 2em;
  369. padding: 0 1em;
  370. border-left: 5px solid var(--jp-border-color2);
  371. }
  372. a.jp-InternalAnchorLink {
  373. visibility: hidden;
  374. margin-left: 8px;
  375. color: var(--md-blue-800);
  376. }
  377. h1:hover .jp-InternalAnchorLink,
  378. h2:hover .jp-InternalAnchorLink,
  379. h3:hover .jp-InternalAnchorLink,
  380. h4:hover .jp-InternalAnchorLink,
  381. h5:hover .jp-InternalAnchorLink,
  382. h6:hover .jp-InternalAnchorLink {
  383. visibility: visible;
  384. }
  385. /* Most direct children of .jp-RenderedHTMLCommon have a margin-bottom of 1.0.
  386. * At the bottom of cells this is a bit too much as there is also spacing
  387. * between cells. Going all the way to 0 gets too tight between markdown and
  388. * code cells.
  389. */
  390. .jp-RenderedHTMLCommon > *:last-child {
  391. margin-bottom: 0.5em;
  392. }
  393. /*-----------------------------------------------------------------------------
  394. | RenderedPDF
  395. |----------------------------------------------------------------------------*/
  396. .jp-RenderedPDF {
  397. font-size: var(--jp-ui-font-size1);
  398. }