html {
  font-family: "Times New";
  font-size: 1.2em;
  line-height: ;
  color:#1a1a1a;
  background-color: #fdfdfd;
}

body {
  max-width: 36em;
  padding-left: 50px;
  padding-bottom: 50px;
  hyphens: auto;
  overflow-wrap: break-word;
  text-rendering: optimizeSpeed;
  font-kerning: normal;
}

@media (max-width: 600px) {
  body {
    font-size: 0.9em;
    padding: 12px;
  }

  h1 {
    font-size: 1.8em;
  }

}

@media print {
  html {
    background-color: white;
  }

  body {
    background-color: transparent;
    color: black;
    font-size: 40pt;
  }

  p, h2, h3 {
    orphans: 3;
    widows: 3;
  }

  h2, h3, h4 {
    page-break-after: avoid;
  }
}

p {
  margin: 1em 0;
  line-height: 1.8em;
} 

article {
}

a {
  color: blue;
  padding-right: 1.1em;
}

a:visited {
  color: purple;
}

a:not(:is([href*="rlv.quentinleclerc.com"], [href^="/"], [href^="./"], [href^="../"]))::after {
  margin-left: 3px;
  content: "";
  width: 0.9em;
  height: 0.9em;
  display: inline-block;
  background-size: 100%;
  background-image: url("imgs/external.svg");
  position: absolute;
  transform: translateY(0.3em);
}

img {
  max-width: 100%;
  margin-left: 50px;
  border: 7px ridge black;
}

h1, h2, h3, h4, h5, h6 {
  margin-top: 1.4em;
}

h1.title {
  font-size: 1.3em;
  font-weight: normal;
}

h5, h6 {
  font-size: 1em;
  font-style: italic;
}

h6 {
  font-weight: normal;
}

ol, ul {
  padding-left: 1.7em;
  margin-top: 1em;
}

li > ol, li > ul {
  margin-top: 0;
}

blockquote {
  margin: 1em 0 1em 1.7em;
  padding-left: 1em;
  border-left: 2px solid #e6e6e6;
  color: #606060;
}

div.abstract {
  margin: 2em 2em 2em 2em;
  text-align: left;
  font-size: 85%;
}

div.abstract-title {
  font-weight: bold;
  text-align: center;
  padding: 0;
  margin-bottom: 0.5em;
}

code {
  font-family: 'Lucida Console', monospace;
  padding: .2em .4em;
  font-size: 85%;
  margin: 0;
  hyphens: manual;
}

pre {
  margin: 1em 0;
  padding: 1em;
  overflow: auto;
}

pre code {
  padding: 0;
  overflow: visible;
  overflow-wrap: normal;
}

.sourceCode {
 background-color: transparent;
 overflow: visible;
}

hr {
  background-color: #1a1a1a;
  border: none;
  height: 1px;
  margin: 1em 0;
}

table {
  margin: 1em 0;
  border-collapse: collapse;
  width: 100%;
  overflow-x: auto;
  display: block;
}

table caption {
  margin-bottom: 0.75em;
}

tbody {
  margin-top: 0.5em;
  border-top: 1px solid #1a1a1a;
  border-bottom: 1px solid #1a1a1a;
}

th {
  border-top: 1px solid #1a1a1a;
  padding: 0.25em 0.5em 0.25em 0.5em;
}

td {
  padding: 0.125em 0.5em 0.25em 0.5em;
}

header {
	font-family: "Mono";
	font-size: 0.8em;
	margin-top: 30px;
	margin-bottom: 100px;
	border-bottom: 3px dotted black;
}

#TOC li {
  list-style: none;
}

#TOC ul {
  padding-left: 1.3em;
}

#TOC > ul {
  padding-left: 0;
}

#TOC a:not(:hover) {
  text-decoration: none;
}

code{white-space: pre-wrap;}
span.smallcaps{font-variant: small-caps;}
div.columns{display: flex; gap: min(4vw, 1.5em);}
div.column{flex: auto; overflow-x: auto;}
div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
/* The extra [class] is a hack that increases specificity enough to
   override a similar rule in reveal.js */
ul.task-list[class]{list-style: none;}
ul.task-list li input[type="checkbox"] {
  font-size: inherit;
  width: 0.8em;
  margin: 0 0.8em 0.2em -1.6em;
  vertical-align: middle;
}
q { quotes: "“" "”" "‘" "’"; }

.display.math{display: block; text-align: center; margin: 0.5rem auto;}