body {
  margin-left: 5%;
  margin-right: 5%;
  }
.nav {
  margin-left: -5%;
  font-size: 80%;
  font-family: sans-serif;
  border-bottom: solid silver 1px;
  padding-bottom: 2pt;
  }
.nav a { text-decoration: none; }
.nav a:hover { text-decoration: underline; }

h1, h2, h3 {
  font-size: 2.5em;
  font-family: trebuchet ms, verdana, helvetica, sans serif; font-weight: normal;
  color: rgb(128,0,0);
  }
h2 { font-size: 1.5em; }
h1 {
  text-transform: uppercase; 
  }
h2 {
  margin: 1em 0pt 0.1em; }
h3 {
  font-size: 100%; 
  margin: .4em 0pt .4em;
  }
a.link { font-size: small; }

.footer {
  font-size: small; text-align: right;
  margin-top: 3em;
  border-top: solid gray 1px; 
  }


.fig { background-color: rgb(240,240,220); margin-top: 1em;
margin-bottom: 1em; margin-left: auto; margin-right: auto; width: 750px; }
.fig img { padding-left: 1em; padding-top: 0.5em; }
.caption { margin-left: 2em; margin-right: 20%; padding-bottom: 1em;
margin-top: 0em; font-style: italic; font-size: small; }
.license { font-style: normal; color: rgb(100,100,100); margin-bottom: 1em;  }

pre, .commentbox {
  background-color: rgb(245,245,245);
  padding-left: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  font-size: small;
  }
.commentbox { display: none; }
.commentbox pre { padding-top: 0.1em; padding-bottom: 0.1em; margin-top: 0.1em; margin-bottom: 0.1em; }
pre .comment { color: grey; }
.commentbox p { margin-top: 1em; }