html *{ font-family: Dejavu Sans Mono, MesloGS NF, Menlo, Consolas, Monospace !important; color: #222;}
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; }
h3 { font-size: 14px; } 
p  { font-size: 16px; }
blockquote { text-align: center; font-size: 16px; font-style: normal; line-height: 30px;}
pre { background-color: #eee;color: #2f3337;border: 1px solid #ddd; font-size: 14px; padding-left: 2ch; line-height: 18px; overflow: auto; }
code { background-color: #eee;color: #2f3337; }
hr { height: 0px; }
a {color: inherit; text-decoration: solid underline;}  
a:hover {color: red;}
img { max-width: 100%; }
.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;}