body {
  width: 75%;
  margin-left: auto;
  margin-right: auto;
}

a {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

pre {
    padding-left:12px;
    border-left:1px solid lightblue;
}


h2 { padding-left:10px; }
h3 { padding-left:20px; }
h4 { padding-left:30px; }

.title {
  font-size: 200%;
  font-weight: normal;
  margin-top: 2.8em;
  text-align: center;
}
 
.lastmod {
  color: gray;
  font-style: italic;
  text-align: right;
}

#TOC {
  margin-left: 10%
}