index.css 10.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439
  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 { color: #3E424D; }
  25. .jp-RenderedText pre .ansi-red-fg { color: #E75C58; }
  26. .jp-RenderedText pre .ansi-green-fg { color: #00A250; }
  27. .jp-RenderedText pre .ansi-yellow-fg { color: #DDB62B; }
  28. .jp-RenderedText pre .ansi-blue-fg { color: #208FFB; }
  29. .jp-RenderedText pre .ansi-magenta-fg { color: #D160C4; }
  30. .jp-RenderedText pre .ansi-cyan-fg { color: #60C6C8; }
  31. .jp-RenderedText pre .ansi-white-fg { color: #C5C1B4; }
  32. .jp-RenderedText pre .ansi-black-bg { background-color: #3E424D; }
  33. .jp-RenderedText pre .ansi-red-bg { background-color: #E75C58; }
  34. .jp-RenderedText pre .ansi-green-bg { background-color: #00A250; }
  35. .jp-RenderedText pre .ansi-yellow-bg { background-color: #DDB62B; }
  36. .jp-RenderedText pre .ansi-blue-bg { background-color: #208FFB; }
  37. .jp-RenderedText pre .ansi-magenta-bg { background-color: #D160C4; }
  38. .jp-RenderedText pre .ansi-cyan-bg { background-color: #60C6C8; }
  39. .jp-RenderedText pre .ansi-white-bg { background-color: #C5C1B4; }
  40. .jp-RenderedText pre .ansi-bright-black-fg { color: #282C36; }
  41. .jp-RenderedText pre .ansi-bright-red-fg { color: #B22B31; }
  42. .jp-RenderedText pre .ansi-bright-green-fg { color: #007427; }
  43. .jp-RenderedText pre .ansi-bright-yellow-fg { color: #B27D12; }
  44. .jp-RenderedText pre .ansi-bright-blue-fg { color: #0065CA; }
  45. .jp-RenderedText pre .ansi-bright-magenta-fg { color: #A03196; }
  46. .jp-RenderedText pre .ansi-bright-cyan-fg { color: #258F8F; }
  47. .jp-RenderedText pre .ansi-bright-white-fg { color: #A1A6B2; }
  48. .jp-RenderedText pre .ansi-bright-black-bg { background-color: #282C36; }
  49. .jp-RenderedText pre .ansi-bright-red-bg { background-color: #B22B31; }
  50. .jp-RenderedText pre .ansi-bright-green-bg { background-color: #007427; }
  51. .jp-RenderedText pre .ansi-bright-yellow-bg { background-color: #B27D12; }
  52. .jp-RenderedText pre .ansi-bright-blue-bg { background-color: #0065CA; }
  53. .jp-RenderedText pre .ansi-bright-magenta-bg { background-color: #A03196; }
  54. .jp-RenderedText pre .ansi-bright-cyan-bg { background-color: #258F8F; }
  55. .jp-RenderedText pre .ansi-bright-white-bg { background-color: #A1A6B2; }
  56. .jp-RenderedText[data-mime-type="application/vnd.jupyter.stderr"] {
  57. background: var(--jp-rendermime-error-background);
  58. padding-top: var(--jp-code-padding);
  59. }
  60. /*-----------------------------------------------------------------------------
  61. | RenderedLatex
  62. |----------------------------------------------------------------------------*/
  63. .jp-RenderedLatex {
  64. color: var(--jp-content-font-color1);
  65. font-size: var(--jp-content-font-size1);
  66. line-height: var(--jp-content-line-height);
  67. }
  68. /*-----------------------------------------------------------------------------
  69. | RenderedHTML
  70. |----------------------------------------------------------------------------*/
  71. .jp-RenderedHTMLCommon {
  72. color: var(--jp-content-font-color1);
  73. font-size: var(--jp-content-font-size1);
  74. line-height: var(--jp-content-line-height);
  75. /* Give a bit more R padding on Markdown text to keep line lengths reasonable */
  76. padding-right: 20px;
  77. }
  78. .jp-RenderedHTMLCommon .MathJax_Display {
  79. margin: 0;
  80. }
  81. .jp-RenderedHTMLCommon em {
  82. font-style: italic;
  83. }
  84. .jp-RenderedHTMLCommon strong {
  85. font-weight: bold;
  86. }
  87. .jp-RenderedHTMLCommon u {
  88. text-decoration: underline;
  89. }
  90. .jp-RenderedHTMLCommon a:link {
  91. text-decoration: none;
  92. color: var(--jp-content-link-color);
  93. }
  94. .jp-RenderedHTMLCommon a:hover {
  95. text-decoration: underline;
  96. color: var(--jp-content-link-color);
  97. }
  98. .jp-RenderedHTMLCommon a:visited {
  99. text-decoration: none;
  100. color: var(--jp-content-link-color);
  101. }
  102. /* Headings */
  103. .jp-RenderedHTMLCommon h1,
  104. .jp-RenderedHTMLCommon h2,
  105. .jp-RenderedHTMLCommon h3,
  106. .jp-RenderedHTMLCommon h4,
  107. .jp-RenderedHTMLCommon h5,
  108. .jp-RenderedHTMLCommon h6 {
  109. line-height: var(--jp-content-heading-line-height);
  110. font-weight: var(--jp-content-heading-font-weight);
  111. font-style: normal;
  112. margin: var(--jp-content-heading-margin-top) 0 var(--jp-content-heading-margin-bottom) 0;
  113. }
  114. .jp-RenderedHTMLCommon h1:first-child,
  115. .jp-RenderedHTMLCommon h2:first-child,
  116. .jp-RenderedHTMLCommon h3:first-child,
  117. .jp-RenderedHTMLCommon h4:first-child,
  118. .jp-RenderedHTMLCommon h5:first-child,
  119. .jp-RenderedHTMLCommon h6:first-child {
  120. margin-top: calc( 0.5 * var(--jp-content-heading-margin-top) );
  121. }
  122. .jp-RenderedHTMLCommon h1:last-child,
  123. .jp-RenderedHTMLCommon h2:last-child,
  124. .jp-RenderedHTMLCommon h3:last-child,
  125. .jp-RenderedHTMLCommon h4:last-child,
  126. .jp-RenderedHTMLCommon h5:last-child,
  127. .jp-RenderedHTMLCommon h6:last-child {
  128. margin-bottom: calc( 0.5 * var(--jp-content-heading-margin-bottom) );
  129. }
  130. .jp-RenderedHTMLCommon h1 {
  131. font-size: var(--jp-content-font-size5);
  132. }
  133. .jp-RenderedHTMLCommon h2 {
  134. font-size: var(--jp-content-font-size4);
  135. }
  136. .jp-RenderedHTMLCommon h3 {
  137. font-size: var(--jp-content-font-size3);
  138. }
  139. .jp-RenderedHTMLCommon h4 {
  140. font-size: var(--jp-content-font-size2);
  141. }
  142. .jp-RenderedHTMLCommon h5 {
  143. font-size: var(--jp-content-font-size1);
  144. }
  145. .jp-RenderedHTMLCommon h6 {
  146. font-size: var(--jp-content-font-size0);
  147. }
  148. /* Lists */
  149. .jp-RenderedHTMLCommon ul:not(.list-inline),
  150. .jp-RenderedHTMLCommon ol:not(.list-inline) {
  151. padding-left: 2em;
  152. }
  153. .jp-RenderedHTMLCommon ul {
  154. list-style: disc;
  155. }
  156. .jp-RenderedHTMLCommon ul ul {
  157. list-style: square;
  158. }
  159. .jp-RenderedHTMLCommon ul ul ul {
  160. list-style: circle;
  161. }
  162. .jp-RenderedHTMLCommon ol {
  163. list-style: decimal;
  164. }
  165. .jp-RenderedHTMLCommon ol ol {
  166. list-style: upper-alpha;
  167. }
  168. .jp-RenderedHTMLCommon ol ol ol {
  169. list-style: lower-alpha;
  170. }
  171. .jp-RenderedHTMLCommon ol ol ol ol {
  172. list-style: lower-roman;
  173. }
  174. .jp-RenderedHTMLCommon ol ol ol ol ol {
  175. list-style: decimal;
  176. }
  177. .jp-RenderedHTMLCommon ol,
  178. .jp-RenderedHTMLCommon ul {
  179. margin-bottom: 1em;
  180. }
  181. .jp-RenderedHTMLCommon ul ul,
  182. .jp-RenderedHTMLCommon ul ol,
  183. .jp-RenderedHTMLCommon ol ul,
  184. .jp-RenderedHTMLCommon ol ol {
  185. margin-bottom: 0em;
  186. }
  187. .jp-RenderedHTMLCommon hr {
  188. color: var(--jp-border-color2);
  189. background-color: var(--jp-border-color1);
  190. margin-top: 1em;
  191. margin-bottom: 1em;
  192. }
  193. .jp-RenderedHTMLCommon > pre {
  194. margin: 1.5em 2em;
  195. }
  196. .jp-RenderedHTMLCommon pre,
  197. .jp-RenderedHTMLCommon code {
  198. border: 0;
  199. background-color: var(--jp-layout-color0);
  200. color: var(--jp-content-font-color1);
  201. font-family: var(--jp-code-font-family);
  202. font-size: var(--jp-code-font-size);
  203. line-height: var(--jp-code-line-height);
  204. padding: 0px;
  205. }
  206. /* Tables */
  207. .jp-RenderedHTMLCommon table {
  208. border-collapse: collapse;
  209. border-spacing: 0;
  210. border: none;
  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. .jp-RenderedHTMLCommon tr {
  224. text-align: right;
  225. vertical-align: middle;
  226. padding: 0.5em 0.5em;
  227. line-height: normal;
  228. white-space: normal;
  229. max-width: none;
  230. border: none;
  231. }
  232. .jp-RenderedMarkdown.jp-RenderedHTMLCommon td,
  233. .jp-RenderedMarkdown.jp-RenderedHTMLCommon th {
  234. max-width: none;
  235. }
  236. .jp-RenderedHTMLCommon th {
  237. font-weight: bold;
  238. }
  239. .jp-RenderedHTMLCommon tbody tr:nth-child(odd) {
  240. background: var(--jp-layout-color0);
  241. }
  242. .jp-RenderedHTMLCommon tbody tr:nth-child(even) {
  243. background: var( --jp-rendermime-table-row-background);
  244. }
  245. .jp-RenderedHTMLCommon tbody tr:hover {
  246. background: var( --jp-rendermime-table-row-hover-background);
  247. }
  248. .jp-RenderedHTMLCommon table {
  249. margin-bottom: 1em;
  250. }
  251. .jp-RenderedHTMLCommon p {
  252. text-align: left;
  253. margin: 0px;
  254. }
  255. .jp-RenderedHTMLCommon p {
  256. margin-bottom: 1em;
  257. }
  258. .jp-RenderedHTMLCommon img {
  259. -moz-force-broken-image-icon: 1;
  260. }
  261. /* Restrict to direct children as other images could be nested in other content. */
  262. .jp-RenderedHTMLCommon > img {
  263. display: block;
  264. margin-left: auto;
  265. margin-right: auto;
  266. margin-bottom: 1em;
  267. }
  268. .jp-RenderedHTMLCommon img,
  269. .jp-RenderedImage img,
  270. .jp-RenderedHTMLCommon svg,
  271. .jp-RenderedSVG svg {
  272. max-width: 100%;
  273. height: auto;
  274. }
  275. .jp-RenderedHTMLCommon img.jp-mod-unconfined,
  276. .jp-RenderedImage img.jp-mod-unconfined,
  277. .jp-RenderedHTMLCommon svg.jp-mod-unconfined,
  278. .jp-RenderedSVG svg.jp-mod-unconfined {
  279. max-width: none;
  280. }
  281. .jp-RenderedHTMLCommon .alert {
  282. margin-bottom: 1em;
  283. }
  284. .jp-RenderedHTMLCommon blockquote {
  285. margin: 1em 2em;
  286. padding: 0 1em;
  287. border-left: 5px solid var(--jp-border-color2);
  288. }
  289. a.jp-InternalAnchorLink {
  290. visibility: hidden;
  291. margin-left: 8px;
  292. color: var(--md-blue-800);
  293. }
  294. h1:hover .jp-InternalAnchorLink,
  295. h2:hover .jp-InternalAnchorLink,
  296. h3:hover .jp-InternalAnchorLink,
  297. h4:hover .jp-InternalAnchorLink,
  298. h5:hover .jp-InternalAnchorLink,
  299. h6:hover .jp-InternalAnchorLink {
  300. visibility: visible;
  301. }
  302. /* Most direct children of .jp-RenderedHTMLCommon have a margin-bottom of 1.0.
  303. * At the bottom of cells this is a bit too much as there is also spacing
  304. * between cells. Going all the way to 0 gets too tight between markdown and
  305. * code cells.
  306. */
  307. .jp-RenderedHTMLCommon > *:last-child {
  308. margin-bottom: 0.5em;
  309. }
  310. /*-----------------------------------------------------------------------------
  311. | RenderedPDF
  312. |----------------------------------------------------------------------------*/
  313. .jp-RenderedPDF {
  314. font-size: var(--jp-ui-font-size1);
  315. }