html *{ font-family: Dejavu Sans Mono, MesloGS NF, Menlo, Consolas, Monospace !important;}
body {text-align: justify; max-width: 86ch; margin:40px auto; padding: 0 10px; text-decoration: none;}
h1 { font-size: 28px; } 
/* h2 { font-size: 22px; margin-bottom: 2px; } */
h2 { margin-bottom: 0ch; margin-top: 3ch;}
h2 a:link{ text-decoration: none; }
h3 { font-size: 14px; } 
p  { font-size: 16px; }
blockquote { text-align: center; font-size: 16px; font-style: normal; line-height: 30px;}
pre { font-family: Dejavu Sans Mono, MesloGS NF, Menlo, Consolas, Monospace !important;border: 1px solid #ddd; font-size: 14px; padding: 1ch; line-height: 18px; overflow: auto; }
/* code { background-color: #282C34; color: #979FAD; } */
/* code {padding-left: 0.5ch; padding-right: 0.5ch;} */
/* hr { height: 1px; border: 0px;} */
a {color: inherit; text-decoration: solid underline;}  
img { max-width: 100%; display: block; margin-left: auto; margin-right: auto; margin-top: 2ch; margin-bottom: 2ch;  padding: 0ch;}
.menu { line-height: 1em; font-size: 24px; line-height: 1em; text-decoration: none; }
.index { color: inherit; text-decoration: solid underline; }
.references { text-decoration: solid underline; text-underline-position: under; }
.contact{text-align: center;}