@import "fonts/computermoderntypewriter/cmun-typewriter.css";
@import "fonts/computermoderntypewritervariable/cmun-typewriter-variable.css";
@charset "UTF-8"; 

* { margin: 0; padding: 0; }
html, body {
  background-color: #fff;
  margin: 0;
  padding: 0;
  font-family: "Computer Modern Typewriter Variable";
  font-size: 1.0em;
  text-align: center;
  color: #333;
}
#container {
  padding: 0 1em;
  margin: 0 auto;
  min-width: 520px;
  max-width: 800px;
}
#container header a, #container h1 a, #container h2 a,
#container h3 a, #container h4 a {
  color: #333;
  text-decoration: none;
}
#container a:hover, #container a:active { color: #9c3; }
nav {
  display: block;
  margin: 0;
  margin-top: 1em;
  padding: 0.3em 1em;
  border-width: 1px;
  border-color: #ccc;
  border-style: solid none;
  background: #f2f2f2;
  color: #aaa;
  text-align: left;
}
#topnav {
  border-style: none solid solid solid;
  font-size: 130%;
}
nav ul { padding: 0; margin: 0; }
nav ul.nav {
  float: right;
  width: 50%;
  text-align: right;
}
nav ul li { display: inline; }
nav ul li:before { content: " — "; }
nav ul li:first-child:before { content: ""; }
nav ul li a {
  color: #666;
  text-decoration: none;
}
#container nav ul li a:hover, #container nav ul li a:active { color: #888; }
header {
  display: block;
  margin: 1em 0;
  padding: 1em;
  border: 4px double #ccc;
  font-family: "Computer Modern Typewriter";
}
header h1 {
  margin: 0 0 0.3em 0;
  padding: 0;
  font-size: 200%;
  font-weight: normal;
}
header q {
  font-size: 120%;
  font-style: italic;
}
article {
  display: block;
  text-align: left;
  margin-bottom: 1em;
  counter-reset: code figure example section subsection;
}
article header {
  display: block;
  margin: 2em 0 0 0; 
  padding: 0;
  border-style: none;
  border-bottom: 1px dashed #ccc;
}
article header h1 {
  margin: 0;
  padding: 0 0 0.1em 0;
  font-size: 170%;
  font-weight: bold;
  font-family: "Computer Modern Typewriter Variable";
}
article footer {
  display: block;
  margin: 0.3em 0 2em 0;
  padding: 0;
  border-style: none;
  color: #888;
  font-size: 100%;
  text-align: right;
}
article > div {
  margin: 0;
  padding: 0;
  line-height: 1.5em;
  font-size: 110%;
}
article > div a {
  color: #08f;
  text-decoration: underline;
}
article> div a[href^="http"] {
  text-decoration: none;
  border-bottom-width: 1px;
  border-bottom-style: dotted;
}
article > div a:visited { color: #048; }
article > div h1 {
  font-size: 150%;
  font-weight: bold;
}
article > div h2 {
  margin: 1em 0 0.5em 0;
  font-size: 140%;
  font-weight: normal;
  counter-increment: section;
  counter-reset: subsection;
}
article > div h2:before {
  display: inline;
  content: counter(section) ". ";
}
article > div h3 {
  margin: 1em 0 0.5em 0;
  font-size: 120%;
  font-weight: bold;
  counter-increment: subsection;
}
article > div h3:before {
  display: inline;
  content: counter(section) "." counter(subsection) ". ";
}
article > div h4 {
  margin: 1em 0 0.5em 0;
  font-size: 110%;
  font-weight: bold;
}
article > div > p:first-child:first-letter {
  font-size: 150%;
}
article .notlettrine {
  font-size: 67%;
}
article .lettrine {
  font-size: 150%;
  font-weight:bold;
}
article > div p {
  margin: 1em 0;
  text-indent: 2em;
}
article > div p.cont { 
  text-indent: 0; 
}
article > div p.important:before {
  content: "important: ";
  color: #f00;
  font-weight: bold;
  font-variant: small-caps;
}
article > div p.warning:before {
  content: "warning: ";
  color: #fa0;
  font-weight: bold;
  font-variant: small-caps;
}
article > div p.info:before {
  content: "info: ";
  color: #080;
  font-weight: bold;
  font-variant: small-caps;
}
article > div p.note:before {
  content: "note: ";
  font-weight: bold;
  font-variant: small-caps;
}
article > div p.example { counter-increment: example; }
article > div p.example:before {
  content: "example " counter(example) ":";
  font-variant: small-caps;
}
article > div aside {
  display: block;
  padding: 0 0.5em;
  margin: 0.5em 0 0.5em 0.5em;
  width: 36%;
  float: right;
  border: 1px solid #ccc;
  text-align: justify;
  background-color: #f2f2f2;
}
article > div aside p {
  font-size: 90%; 
  margin: 0.5em 0;
}
article > div ul, article > div ol {
  margin: 0 0;
  padding: 0 0 0 3em;
}
article > div ul > li, article > div ol > li {
  margin: 0 0 0.2em 0;
  padding: 0 0 0 0.5em;
  list-style-position: outside;
}
article > div ul > li { list-style-type: circle; }
article > div ol > li { list-style-type: decimal; }
article > div dl {
  margin: 1em 0;
  padding: 0;
}
article > div dl dt {
  margin: 0;
  padding: 0;
  font-weight: bold;
}
article > div dl dd {
  margin: 0 0 0.3em 0;
  padding: 0 0 0 2em;
}
article > div blockquote {
  margin: 1em 0;
  padding: 0.5em;
  padding-left: 2em;
  background: #f2f2f2;
  border-left: 0.1em solid #ccc;
}
article > div blockquote p { margin: 0.5em 0; }
article > div code {
  color: #eee;
  background-color: #555;
  padding: 0 0.2em;
}
article > div figure {
  display: block;
  margin: 1em 0;
  padding: 0;
  text-align: center;
}
article > div figure figcaption {
  display: block;
  counter-increment: figure;
}
article > div figure.example figcation {
  counter-increment: example;
}
/*
article > div figure figcaption:before {
  display: inline;
  content: "figure " counter(figure) ":";
  font-variant: small-caps;
}
article > div figure.example figcaption:before {
  display: inline;
  content: "example " counter(example) ":";
  font-variant: small-caps;
}
*/
article > div .left {
  float: left;
  margin: 0 1em 0.5em 0;
}
article > div .right {
  float: right;
  margin: 0 0 0.5em 1em;
}
article > div .center {
  text-align: center;
}
article > div hr {
  margin: 1.5em auto;
  padding: 0;
  height: 1px;
  width: 80%;
  border: none;
  background-color: #aaa;
}
/* Tables raisonnablement jolies */
article > div table {
  margin: 0 auto;
  border-collapse: collapse;
}
article > div table,th,td {
  border: 1px solid black;
}
article > div th,td {
  padding: 5px 15px;
  padding-left: 
}
article > div th {
  background-color: #DDDDDD;
}
/* Table des matières qui ne ressemblent pas à une liste de liens moches */
article > div div.toc a {
  text-decoration: none;
  font-weight: bold;
  color: black;
}
/* Superscripts (en particuliers, liens vers des notes de bas de page) qui
 * ne changent pas la taille de la ligne */
article > div sup {
  line-height: 0;
}
article .footnote {
  font-size: 85%;
}
div.feedback {
  margin: 2em auto;
  width: 96%;
  color: #666;
  font-size: small;
  text-align: center;
}
footer {
  display: block;
  margin: 1em 0 0 0;
  padding: 1em;
  border-top: 1px dotted #aaa;
  color: #888;
  clear: both;
}
footer p {
  margin: 0;
  padding: 0;
  line-height: 1.5em;
}
footer p a {
  color: #666;
  text-decoration: none;
}
#container footer p a:hover, #container footer p a:active { color: #333; }
@media screen and (max-device-width:680px) and (orientation:portrait) {
  #container { width: 94%; margin: 0 2%; padding: 0 1%; }
  nav, #topnav { font-size: 0.7em; }
  header { font-size: 0.6em; }
}
@media screen and (max-device-width:1024px) and (orientation:landscape) {
  #container { width: 94%; margin: 0 2%; padding: 0 1%; }
}
/* https://github.com/mathjax/MathJax-node/issues/204#issuecomment-208351504 */
.mjx-chtml {font-size: 2.26ex ! important}
.mjx-chtml .mjx-chtml {font-size: inherit ! important}

button {
    background-color: white;
    font-family: Monospace;
    font-size: 1.1em;
    font-weight: bold;
    text-align: center;
    display: inline-block;
    border: 1px solid black;
    padding: 0;
    cursor: pointer;
}
#showBibtex {
  color: #444;
  padding: 5px;
}
#bibtex {
  margin: auto;
  width: fit-content;
  max-width: 100%;
}
#bibtextext {
  margin: 0.5em 0;
}
#bibtexcode {
  text-align: left;
  padding: 0.5em;
  white-space: pre;
  overflow: hidden;
  color: #444;
  background-color: #eeeeee;
  max-width: 96%;
}
img {
  max-width: 100%;
  height: auto;
}
.largeimg img {
    min-width: 60%
}
.largerimg img {
    min-width: 80%
}
.largestimg img {
    min-width: 100%
}