body {
   margin-left: 2%;
   font-size: 16pt;
   font-family: 'Inconsolata', monospace;
   max-width: 900px;
}
.aside {
   font-size: 75%;
   font-style: italic;
   margin-top: 2em;
   margin-right: 4em;
}
h1,h2 {
   font-family: 'Courier New', monospace;
   font-weight: normal;
   margin-bottom: 10px;
}
h1 {
   font-size: 34pt;
}
h2 {
   font-size: 24pt;
   margin-top: 15pt;
}
main {
   display: block;
   margin-left: 5%;
}
dd { margin-top: 0.5em; }
a {
   text-decoration: none;
   border-bottom: 1px dotted;
   color: black;
}
h1 a {
   border-bottom: none;
}
a:hover { 
   border-bottom: 1px solid;
}
.inactive {
   color: grey !important;
}