* { font-family: Garamond}

body {margin: 0; background-color: white}


h2, h1.title {
  margin-left: 5px;
}

h2.links {
  /* empty, might be needed */
}

h3, pre, div.txt, div.txt_, img {
  margin-left: 45px;
}

div.txt, div.txt_ {
   width: 30em;
   margin-bottom: 8px;

}
div.txt_ {
}

ul {
  margin-top: 2px;
}

pre {

  border: 2px solid black;
  padding: 5px;
  background-color:#f0f7f7;

}
code {
  font-family: monospace;
}